Question
Without using truth table, show that : ~[(p ∧ q) → ~(q)] ≡ p ∧ q

Answer

LHS = ~[(p ∧ q) → ~(~q)]
≡ (p ∧ q) ∧ ~(~q) ……(Negation of implication)
≡ (p ∧ q) ∧ q …..(Negation of negation)
≡ p ∧ (q ∧ q) …..(Associative Law)
≡ P ∧ q ……(Idempotent Law)
= RHS

Need a full question paper?

Generate a complete, print-ready paper with questions like this in minutes — across 16+ boards, with answer keys.

Start Generating Free