Solveeit Logo

Question

Question: \((p\mspace{6mu} \land \sim q) \land (\sim p \vee q)\) is...

(p6muq)(pq)(p\mspace{6mu} \land \sim q) \land (\sim p \vee q) is

A

A contradiction

B

A tautology

C

Either (1) or (2)

D

Neither (1) nor (2)

Answer

A contradiction

Explanation

Solution

pq~p~qp∧~q~pq(pq)∧(pq)
TTFFFTF
TFFTTFF
FTTFFTF
FFTTFTF

Clearly, (p6muq)(p6muq)(p\mspace{6mu} \land \sim q) \land (p\mspace{6mu} \vee \sim q) is a contradiction.