Informatiker Board (http://www.informatikerboard.de/board/index.php)
- Themengebiete (http://www.informatikerboard.de/board/board.php?boardid=1)
--- Theoretische Informatik (http://www.informatikerboard.de/board/board.php?boardid=5)
---- Logik (http://www.informatikerboard.de/board/board.php?boardid=16)
----- Ausdruck in KNF umwandeln (http://www.informatikerboard.de/board/thread.php?threadid=1391)
Geschrieben von mr.cat am 17.02.2013 um 21:32:
Ausdruck in KNF umwandeln
Hallo,
wie kann ich folgenden Ausdruck OHNE Einsatz von Äquivalenzregeln in eine KNF umwandeln?
A->(notB OR C ) <-> ( A OR not C)
Vielen Dank
Geschrieben von Karlito am 17.02.2013 um 22:01:
Hallo,
das Stichwort, was dir weiterhilft heißt Wahrheitstabelle.
Wikipedia hat hier ein schönes Beispiel.
VG,
Karlito
Forensoftware: Burning Board, entwickelt von WoltLab GmbH