ブール代数の公式

勉強したくないので
今日同僚に質問された
ブール代数の公式を列挙します。
(基本部分のみ)
・交換則
A+B=B+A
A・B=B・A
・結合則
A+(B+C)=(A+B)+C
A・(B・C)=(A・B)・C
・分配則
A・(B+C)=(A・B)+(A・C)
A+(B・C)=(A+B)・(A+C)
・恒等則
A+1=1
A・1=1
A+0=A
A・0=0
・同一則
A・A=A
A+A=A
・補元則
A・(not(A))=0
A+(not(A))=1
・吸収則
A+A・B=A
A・(A+B)=A
ド・モルガンの法則
not(A+B)=not(A)・not(B)
not(A・B)=not(A)+not(B)