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)
---- formale Sprachen (http://www.informatikerboard.de/board/board.php?boardid=12)
----- Doppelte Negation Umwandlung in DNF (http://www.informatikerboard.de/board/thread.php?threadid=2127)
Geschrieben von coooo am 01.02.2015 um 18:38:
Doppelte Negation Umwandlung in DNF
Hallo,
ich sitze schon seit längerem an folgender Aufgabe. Die Formel soll in DNF umgewandelt werden.
Ich verstehe es nicht, da dort doppelte Negationszeichen sind. Habe auch die Lösung, kann dort aber auch nix nachvollziehen
Geschrieben von eulerscheZahl am 01.02.2015 um 20:16:
Die äußere Negation heißt einfach, dass der gesamte Ausdruck nochmals negiert wird, wo ist da das Problem?
Mit
de Morgan kannst du die Negation auch auf die einzelnen Teile aufteilen, wenn du willst.
Geschrieben von coooo am 05.02.2015 um 00:32:
Danke, hab es jetzt doch verstanden. Habe nicht genau gewusst, auf was sich das äußere Negationszeichen bezieht. Dachte fälschlicherweise, dass es sich nur auf die Terme außerhalb der Klammern bezieht
Forensoftware: Burning Board, entwickelt von WoltLab GmbH