ブール代数と、集合演算の公式はセットで覚えておくと便利です。
A+ A*B = A A∪ A∩B = A
_ A+ A*B = A+B _ A∪ A∩B = A∪B
分配法則 (A+B)*(A+C) = A+ B*C (A∪B)∩(A∪C) = A∪ B∩C
ドモルガンの法則 ___ A+B = A*B ____ A∪B = A∩B
ドモルガンの法則 ___ A*B = A+B ____ A∩B = A∪B
双対の原理 ブール代数の等式で、 +と* 0と1 を入れ替えても等式は成立する。 集合演算の等式で、 ∪と∩ 空集合と全体集合 を入れ替えても等式は成立する。