logic circuit (p or ~q) and (r xor s)