(Twitter)
0
Hallo,
Wie kann ich von einer gegebenen Modellmenge von 4 Belegen quasi rückwärts auf eine aussagenlogische Formel mit drei Variablen schließen?
Gibt es einen anderen Weg außer einfach tausene Bäume zeichnen und durch pures ausprobieren lösen?
Für die Variablen (p,q,r) habe ich die Modelle: Mod(ψ) = { W(0,1,1), W(1,0,0), W(1,0,1), W(1,1,1,)}
Vielen Dank! :)
Diese Frage melden
gefragt
moltimer
Student, Punkte: 25
Student, Punkte: 25