p XOR (q OR r)