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

Theoreme für 2 oder 3 Variablen (Gesetze)
� Kommutativgesetz
(T6) A ∨ B = B ∨ A (T6') A ∧ B = B ∧ A
� Assoziativgesetz
(T7)
( A ∨ B) ∨ C = A ∨ ( B ∨ C) (T7')
( A ∧ B) ∧ C = A ∧ ( B ∧ C)
� Distributivgesetz
(T8) ( A ∧ B) ∨ ( A ∧ C) = A ∧ ( B ∨ C) (T8') ( A ∨ B) ∧ ( A ∨ C) = A ∨ ( B ∧ C)
� Reduktionsformeln
(K1) A ∨ ( A ∧ B) = A (K1') A ∧ ( A ∨ B) = A
(K2) A ∨ ( A ∧ B) = A ∨ B (K2') A ∧ ( A ∨ B) = A ∧ B
(K3) ( A ∧ B) ∨ ( A ∧ B) = A (K3') ( A ∨ B) ∧ ( A ∨ B) = A
© G. Fries
(Absorption)
72