Logika Spaz: LOGIKA prawo zaprzeczenia implikacji... ~(p⇒q) ⇔ (p ∧~q) powinno być tautologią, więc dlaczego rysując tabele wartości logicznych wychodzi mi, że nie jest to tautologia? źle robię tabele? pomoże ktoś?