ブール代数
/mrsekut-book-4007305803/039
$ a\lor \lnot a = \top
が常に成り立つ
ハイティング代数