Sprowadź do postaci CNF

Zbiory, relacje, logika
Otrzymałeś(aś) rozwiązanie do zamieszczonego zadania? - podziękuj autorowi rozwiązania! Kliknij
RazzoR
Często tu bywam
Często tu bywam
Posty: 222
Rejestracja: 27 mar 2009, 14:23
Podziękowania: 83 razy
Płeć:

Sprowadź do postaci CNF

Post autor: RazzoR » 16 wrz 2019, 20:07

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