generated at
2/17/2025, 2:57:02 PM
ブール代数
/mrsekut-book-4007305803/039
a\lor \lnot a = \top
が常に成り立つ
ハイティング代数