Digitaltechnik (#2031) Wintersemester 2007/2008 Kapitel 0 ...

Axiome und Theoreme
� Axiome
(A1) A = 0, wenn A ≠ 1 (A1') A = 1, wen n A ≠ 0
(A2) 0 ∧ 0 = 0 (A2') 1 ∨ 1 = 1
(A3) 1 ∧ 1 = 1 (A3') 0 ∨ 0 = 0
(A4) 0 ∧ 1 = 1 ∧ 0 = 0 (A4') 0 ∨ 1 = 1 ∨ 0 = 1
(A5) 0 = 1 ( A5')
1 = 0
� Theoreme für eine Variable
(T1) A ∨ 0 = A (T1') A ∧ 1 = A
(T2) A ∨ 1 = 1 (T2') A ∧ 0 = 0
(T3) A ∨ A = A (T3') A ∧ A = A
(T4) A ∨ A = 1 (T4')
A ∧ A = 0
( T5)
A = A
© G. Fries
Dualität
∧ ↔ ∨ 1 ↔ 0
Identität, Einselement
Idempotenz
Komplement
71