The statement \[(p \wedge q) \Rightarrow(p \wedge r)\] is equivalent to :
Solutions · 1
Official solution
pqr
\[A = p\, \wedge q\]
\[B = p\, \wedge r\]
\[A \to B\]
\[q \to B\]
\[p \to B\]
\[B \to A\]
\[A \to r\]
T
T
T
T
T
T
T
T
T
T
T
F
T
F
T
T
T
T
F
T
F
T
T
F
F
T
F
T
T
T
F
F
T
F
F
T
T
T
T
T
T
T
F
T
F
F
F
F
T
F
T
F
F
F
F
T
T
F
T
T
F
T
F
F
F
T
F
T
T
T
F
F
F
F
F
T
T
T
T
T
\[(p\, \wedge \,q) \Rightarrow (p\, \wedge \,r)\] is equivalent to \[(p\, \wedge \,q) \Rightarrow r\]