Boolean logic is hard