計算木論理
論理作用素は ¬ , ∨ , ∧ , → {\displaystyle \neg ,\lor ,\land ,\rightarrow } や ↔ {\displaystyle \leftrightarrow } といった一般的なものである。その他にブーリアンの定数 true と false も使用することがある。