Sprowadź do postaci CNF
: 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)\)
\([q \So \sim(p \vee \sim r)] \vee (p \wedge r)\)