Mengenalgebra

Kommutativgesetze a^b=b^a a+b=b+a
Assoziativgesetze (a^b)^c=a^(b^c) (a+b)+c=a+(b+c)
Distributivgesetze a^(b+c)=(a^b)+(a^c) a+(b^c)=(a+b)^(a+c)
Idempotenzgesetze a^a=a a+a=a
Komplementgesetze a^!a=0 a+!a=G
Gesetze für neutrale Operationen a^G=a a+0=a
Absorptivitätsgesetze a^(a+b)=a a+(a^b)=a
De Morgan !(a^b)=!a+!b !(a+b)=!a^!b
Einheitsmengengesetz a^0=0 a+G=G
Gesetz des doppelten Komplements !!a=a  


f(a,b) = ![(!a+b)^a]+b

= ![a^(!a+b)]+b
= ![(a^!a)+(a^b)]+b
= ![0+(a^b)]+b
= !(a^b)+b
= !a+!b+b
= !a+G
= G

Kommutativ
Distributiv
Komplement
Neutrale Operation
De Morgan
Komplement
Einheitsmenge



Logik