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