Teh­tä­vä:
Kon­junk­tii­vi­nen ja dis­junk­tii­vi­nen nor­maa­li­muo­to

Ly­hyt Math­Check-oh­je (uu­teen vä­li­leh­teen)

Muun­na seu­raa­vat kon­junk­tii­vi­seen nor­maa­li­muo­toon.

P ↔ Q ⇔ prop_logic ok_text Oi­kein! f_CNF f_nodes 9 P <-> Q <=>

tai

(P → Q) ∧ (Q → R) ⇔ prop_logic ok_text Oi­kein! f_CNF f_nodes 9 (P --> Q) /\ (Q --> R) <=>

tai

(P → Q) ∨ (Q → R) ⇔ prop_logic ok_text Oi­kein! f_CNF f_nodes 1 (P --> Q) \/ (Q --> R) <=>

tai

¬Q ∧ ¬R → P ⇔ prop_logic ok_text Oi­kein! f_CNF f_nodes 5 !Q /\ !R --> P <=>

tai

(P ∧ Q) ∨ (R ∧ S) ∨ (T ∧ U) ⇔ prop_logic ok_text Oi­kein! f_CNF f_nodes 47 (P /\ Q) \/ (R /\ S) \/ (T /\ U) <=>

tai

Muun­na seu­raa­vat dis­junk­tii­vi­seen nor­maa­li­muo­toon. Yh­des­sä koh­das­sa on hy­väk­sy­tyn mi­ni­mi­komp­lek­si­suus­ra­jan li­säk­si ra­ja, jon­ka saa­vut­ta­mi­ses­ta pal­ki­taan eri­tyis­ke­hul­la.

P ↔ Q ⇔ prop_logic ok_text Oi­kein! f_DNF f_nodes 9 P <-> Q <=>

tai

(P → Q) ∧ (Q → R) ⇔ prop_logic ok_text Oi­kein! f_DNF f_nodes 14 b_nodes 9 (P --> Q) /\ (Q --> R) <=>

tai

(P → Q) ∨ (Q → R) ⇔ prop_logic ok_text Oi­kein! f_DNF f_nodes 1 (P --> Q) \/ (Q --> R) <=>

tai

¬Q ∧ ¬R → P ⇔ prop_logic ok_text Oi­kein! f_DNF f_nodes 5 !Q /\ !R --> P <=>

tai

(P ∨ Q ∨ R) ∧ ¬(P ∧ Q) ∧ ¬(Q ∧ R) ∧ ¬(R ∧ P) ⇔ prop_logic ok_text Oi­kein! f_DNF f_nodes 23 (P \/ Q \/ R) /\ !(P /\ Q) /\ !(Q /\ R) /\ !(R /\ P) <=>

tai