#matlog
Sziasztok, ennek a formulának: (Z ⊃ X) ⊃ (¬(Y ∨ Z) ⊃ X)
a DNF & KNF alakja a következő:
(Z ∧ ¬X)∨Y∨Z∨X amit lehet egyszerűsíteni: Y∨Z∨X, ez így elemi diszjunkció lesz ami rendben is van, de a
(Z ∧ ¬X) formula az miért kerül ki? Milyen szabály lett itt alkalmazva?
Köszönöm a válaszokat.
[ Szerkesztve ]