Let *, \square \[\in\]{\[\wedge\], \[\vee\]} be such that the Boolean expression (p * \[\sim\] q) \[\Rightarrow\] (p \square q) is a tautology. Then :
Solutions · 1
Official solution
(p \[\wedge\] \[\sim\] q) \[\to\] (p \[\vee\] q) is tautology
p
q
\[ \sim \] q
p \[ \wedge \] \[ \sim \] q
p \[ \vee \] q
(p \[ \wedge \] \[ \sim \] q) \[ \to \] (p \[ \vee \] q)
T
T
F
F
T
T
T
F
T
T
T
T
F
T
F
F
T
T
F
F
T
F
F
T