Boolean logic
<
mathematics
> A
logic
based on
Boolean algebra
.
(25 Mar 1995)