rozwiąż ja: (p⋀q)⇔∼p⋁~q

Aga: chyba chodzi o sprawdzenie ,czy to jest tautologią. p q p⋀q ∼p ∼q ∼p⋁∼q (p⋀q)⇔(∼p⋁∼q) 1 1 1 0 0 0 0