KNF Umformen sodass nur die Operationen AND und NOT vorkommen

Aufrufe: 1128     Aktiv: 11.06.2020 um 12:16
0

Moin,

Die KNF lautet: (A ∨ B ) ∧ (¬A ∨ ¬B)

Die KNF musste ich selber erstellen und diese muss ich nun umformen. Dabei sollen wir Axiome und iwelche Rechenregeln befolgen.

Also muss man wahrscheinlich die "Oders" da wegbekommen. Und das iwie ersetzen. Ich weiss nicht welches Axiom man da verwenden kann. Die De Morgansche Regeln schien mir am ehesten da zu wirken.

Kann da jemand helfen?

Diese Frage melden
gefragt

Punkte: 10

 
Kommentar schreiben
1 Antwort
1

Hi,

ich hätte es so mit Hilfe der De Morgan Regel (wichtig sind auch die Umformungen, die unter Folgerungen stehen) gelöst:

( A ∨ B) wird zu ¬(¬A ∧ ¬B)

(¬A ∨ ¬B) wird zu ¬( A ∧ B)

Insgesamt wird daraus:

¬(¬A ∧ ¬B) ∧ ¬( A ∧ B)

Jetzt sind nur noch AND und NOT enthalten.

Hast du es verstanden?

Diese Antwort melden
geantwortet

Student, Punkte: 30

 

Ja vielen Dank. Habe es verstanden. >D

   ─   quecksilva 11.06.2020 um 12:16

Kommentar schreiben