truth table P && (Q || R) implies S