今度からはったりやめるわ
数学的に正しいことだけ言う
>>449
0≠1はブール代数の定義に入らないよ
実際0＝1は最小のブール代数{0}になる。
それから0と1は補元の略記だから
分配律、交換律、補元の3つだけあれば良い。