Sprowadź następujące formuły do postaci CNF, następnie sprawdź czy są tautologiami, czy są spełnialne i czy są kontrtautologiami.
\([q \So \sim(p \vee \sim r)] \vee (p \wedge r)\)
Sprowadź do postaci CNF
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij