Boolean equations (manual calculation)