Skript vom Sommersemester 2012 - Institut für Automatisierungs ...

§ 5 Wahrscheinlichkeitsrechnung
ZSA
Regeln für Boolesche Formeln
– Regeln bei der Auswertung der Booleschen Formeln:
(1) Kommutativ
A + B
= B +
A,
A⋅
B
=
B ⋅
A
(2) Assoziativ
A + ( B + C)
= ( A + B)
+ C = A + B + C
(3) Distributiv
( A + B)⋅C
=
A⋅C
+
B ⋅C
(4) Indempotenz
A + A = A,
A⋅
A =
A
(5) Absorbtion
A + A⋅
B =
A
(6) Negation
!(! A ) =
A
(7) Morgan
(8) Operationen mit den Werten 0, 1
© 2012 IAS, Universität Stuttgart
!(
A + B)
= ! A⋅!
B,
!( A⋅
B)
= ! A+
! B
A + 0 = A,
A + 1 = 1
A ⋅0
= 0, A⋅1
= A
90