Boolean logic

<mathematics> A logic based on Boolean algebra.

(25 Mar 1995)