logika matematyczna pstudent34: Wykorzystując podane tautologie sprowadź poniższe formuły do najprostszej postaci a)~`(~pv~q)∧∼(p=>q) b)p∧(q∨(∼p=>r)) c)∼p=>∼∼q d)∼(p⋀∼q)⋁(∼p⋁(∼q⋁p)) e)(p⋀q)⋁∼(∼p⇒q) f)(q∧r∧s∧∼q)⋁(p⋀∼q⋀∼p)⋁(r⋀s) Proszę o w miare logiczne wytłumaczenie i rozpisanie zadania

Basia: stosujesz prawa rachunku zdań i walczysz ~(~p∨~q)∧~(p⇒q) ⇔ ~(~p)∧~(~q)∧(p∧~q) ⇔ p∧q∧p∧~q ⇔ p∧(q∧~q) ⇔ p∧0 ⇔ 0 pozostałe podobnie