Sprowadź do postaci CNF

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
RazzoR
Stały bywalec
Stały bywalec
Posty: 252
Rejestracja: 27 mar 2009, 13:23
Podziękowania: 117 razy
Otrzymane podziękowania: 1 raz
Płeć:

Sprowadź do postaci CNF

Post autor: RazzoR »

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)\)
ODPOWIEDZ