Booean algebra - Whitesitt E (1961)