>>675
とりあえず
ブール代数の公理を書いてみて