Hallo
Kann mir jemand bei dieser Aufgabe helfen?
Hier meine bisherigen Antworten:
a) weggelassen, hab ich verstanden und ist iel Aufwand
b) konjunktive Normalform
c) a UND NICHT b UND c
d) (a ODER NICHT b ODER c) UND
(a ODER NICHT b ODER c) UND (a ODER NICHT b ODER c)
e) Man kann ablesen, bei welchen weiteren Aussagen die Fkt inkonsistent ist
f) keine ahnung
Code
Aufgabe_10
Gegeben sei folgende logische Funktion: (a ¬b c)
a) Geben Sie für diese Funktion das KV-Diagramm und die dazu
korrespondierende Wahrheitstafel an und erklären Sie kurz(!) den
Zusammenhang beider Darstellungen.
b) Wenn Sie diese Funktion als Prämisse(n) eines aussgenlogischen
Schlußverfahrens interpretieren, welche Normalform stellt die Funktion dar ?
c) Wie sieht die kanonisch disjunktive Normalform dieser Funktion aus ?
d) Wie sieht die kanonisch konjunktive Normalform dieser Funtkion aus ?
e) Welche Informationen können Sie aus dem KV-Diagramm extrahieren, wenn Sie
- wie unter b) - die Funktion als Prämisse(n) eines logischen Inferenzverfahrens
betrachten ?
f) Schreiben Sie eine Schlußfigur mit Normalform-Klauseln auf.Mfg
Markus