F1 = ( ( A − → B ) − → C ) F2 = ( A ∧ ( B − → ( A ∧ C ) ) ) . ( a ) Schreiben Sie die Formel F1 nur unter Verwendung von ∧, ∨ und ¬.
Bestimmen Sie durch Äquivalenzumformungen eine zu F1 semantisch äquivalente Formel in KNF. (b) Geben Sie die Wahrheitstafel zu F2 an. (c) Lesen Sie aus der Wahrheitstafel zu F2 eine semantisch äquivalente Formel in DNF ab. (d) Lesen Sie aus der Wahrheitstafel zu F2 eine zu F2 semantisch äquivalente Formel in KNF ab.
8 Punkte
www.is.inf.uni-due.deF1 = ( ( A − → B ) − → C ) F2 = ( A ∧ ( B − → ( A ∧ C ) ) ) . ( a ) Write down the formula F1 only using ∧, ∨ und ¬.
Determine for F1 a semantically equivalent Formula in CNF by using equivalence conversions. (b) Indicate the truthtable to F2. (c) Read a semantically equivalent formula in DNF for F2 from the truthtable. (d) Read a semantically equivalent formula in CNF for F2 from the truthtable..
8 Punkte
www.is.inf.uni-due.deTippen Sie e
Fügen Sie die Synaloiphe mittels der F2 Palette ein
Tippen Sie Strg+Leertaste (Mac:
musescore.orgDie Universitätsklinik für Intensivmedizin befindet sich im Intensivbehandlungs-, Notfall- und Operationszentrum ( INO ).
Die Koordinaten auf dem Lageplan sind E / F2.
www.intensivmedizin.insel.chThe Department of Intensive Care Medicine is located in the Intensive Care, Emergency and Surgery Centre ( INO ).
The coordinates on the site map are E / F2.
www.intensivmedizin.insel.chVuoi aggiungere una parola, una frase o una traduzione?
Inserisci una nuova voce.