Boolean reasoning the logic of Boolean equations - Brown, Frank M. (Kluwer, 1990)