Open jvoigtlaender opened 1 week ago
Zum Beispiel bei Verwendung einer KNF in einer Aufgabe zur Eingabe/Auswahl/Reparatur einer Wahrheitstafel könnte eine Instanz mit Formel (A ∨ B) ∧ (A ∨ C) ∧ (B ∨ D) als einfacher wahrgenommen werden als eine mit mehreren negativen Literalen.
(A ∨ B) ∧ (A ∨ C) ∧ (B ∨ D)
Zum Beispiel bei Verwendung einer KNF in einer Aufgabe zur Eingabe/Auswahl/Reparatur einer Wahrheitstafel könnte eine Instanz mit Formel
(A ∨ B) ∧ (A ∨ C) ∧ (B ∨ D)als einfacher wahrgenommen werden als eine mit mehreren negativen Literalen.