ブール代数の性質って
0と1の存在、交換則、分配則、
a∧¬a=0、a∨¬a=1の8つと
0≠1から全部導けるらしいがやたら面倒臭いなこれ