Informatiker Board | Druckvorschau: Algebraische Umformungen bei Booleschen Ausdrücken

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)
----- Algebraische Umformungen bei Booleschen Ausdrücken (http://www.informatikerboard.de/board/thread.php?threadid=3505)

Geschrieben von InfomatiStudent am 18.03.2017 um 18:31:

Algebraische Umformungen bei Booleschen Ausdrücken

Meine Frage:
Die Aufgabe: "Ermitteln sie zu dem Booleschen Ausdruck
"a UND b ODER !a UND c" die KDN auf zwei Arten: 1. Tabelle 2. Algebraische Umformung"

Dank Tabelle kenne ich die KDN:
(!a UND !b UND c) ODER
(!a UND b UND c) ODER
(a UND b UND !c) ODER
(a UND b UND c)

Aber wie kommt man mit algebraischer Umformung dahin?

Gesetze aus dem Skript: Assoziativ-, Kommutativ-, Distributiv-, Absorptionsgesetz.
UND bindet stärker als ODER.

Woher weiß ich bitte was ich da jetzt genau wann anwenden muss? Hätte jemand 'nen Ansatz oder so für mich?

Meine Ideen:
Siehe oben.

Geschrieben von eulerscheZahl am 22.03.2017 um 06:53:

$[latex]a \land b = a \land b \land (c \lor \overline{c}) = a \land b \land c \lor a \land b \land \overline{c}[/latex]$
für !a UND c geht das genauso.