Let Δ ∈ ∧ , ∨ , ⇒ , ⇔ be such that p ∧ q Δ p ∨ q ⇒ q is a tautology. Then Δ is equal to

Step-by-step solution

p ∨ q ⇒ q ≡ ~ p ∨ q ∨ q ≡ ~ p ∧ ~ q ∨ q ≡ ~ p ∨ q ∧ ~ q ∨ q ≡ ~ p ∨ q ∧ t ≡ ~ p ∨ q Now, p ∧ q ⇒ ~ p ∨ q ≡ ~ p ∨ ~ q ∨ ~ p ∨ q ≡ t Hence, △ should be ⇒