Boolean logic by Swen-Peter Ekkebus