Question

Which of the following boolean expresion is a tautology?

• A. $(p\wedge q)\wedge (p\to q)$
• B. $(p\wedge q)\vee (p\vee q)$
• C. $(p\wedge q)\vee (p\to q)$
• D. $(p\wedge q)\to (p\to q)$

Answer 1

The correct option is D $(p\wedge q)\to (p\to q)$

$$\begin{array}{cccccc}p& q& p\wedge q& p\vee q& p\to q& (p\wedge q)\to (p\to q)\\ T& T& T& T& T& T\\ F& T& F& T& T& T\\ T& F& F& T& F& T\\ F& F& F& F& T& T\end{array}$$