truth table ((P AND Q) IMPLIES (R))