c The alarm is ringing, and the alarm only rings when there is a burglar p cnf 2 2 1 0 -1 2 0