Here you can ask questions and find or give answers to organizational, academic and other questions about studying computer science.

1.1k questions

1.2k answers

1.6k comments

531 users

0 votes

Aufgabe:

Gegeben sei folgende Variablenordnung: abcd


 

 ϕ=    a&c&!b&!d|b&c&!d|b&!c&!d|d|!a&!b&!c&!d

erste Formel : (d?true:(c?(b?true:(a?true:false)):(b?true:(a?false:true))))

Zweite : (d?true:(c?(b?true:(a?(true:false):(false:true)))

Ich habe auch versucht, mit Teaching Tools eine Wahrheitstabelle für die zweite Formel zu bekommen, um die beiden zu vergleichen, aber leider hat es keine Tabelle für die zweite Formel gegeben.

in # Mandatory Modules Bachelor by (260 points)

1 Answer

0 votes
 
Best answer

Die SNF der Formel a&c&!b&!d|b&c&!d|b&!c&!d|d|!a&!b&!c&!d mit der angegebenen Variablenordnung ist

    (d?true:(c?(b?true:(a?true:false)):(b?true:(a?false:true))))

Das ist exakt die erste der beiden Formeln, die zweite hat einige Syntaxfehler und macht so wie sie dasteht keinen Sinn. Ich habe versucht, die Klammern richtig zu setzen, aber die Zahl der Teilterme erlaubt dies nicht. 

Die Formel ist nicht zur obigen Formel äquivalent, da SNFs kanonische Normalformen sind und die beiden Formeln syntaktisch nicht identisch sind.

by (166k points)
selected by

Related questions

0 votes
1 answer
0 votes
1 answer
asked May 16, 2022 in * TF "Emb. Sys. and Rob." by zain (440 points)
0 votes
1 answer
asked Aug 14, 2020 in * Other Teaching Fields by mauric3 (190 points)
Imprint | Privacy Policy
...