Boolean logic

A logic based on Boolean algebra.