Mister Exam
Mathematische Logik Schritt für Schritt
Mit der richtigen Lösung wirst du der/die Beliebteste in der Gruppe ❤️😊
⌨
- Symbolische Logik und Aussagenalgebra verwenden
- Klammern unter Berücksichtigung der Operatorpriorität setzen
- Logische Ausdrücke vereinfachen
- Wahrheitstabellen für eingegebene Formeln erstellen
- Normale Formen eines logischen Ausdrucks finden:
- Konjunktive Normalform (KNF), einschließlich der perfekten
- Disjunktive Normalform (DNF), einschließlich der perfekten
Beispiele für logische Ausdrücke
- Mit Negation
(A⇒B)⇒¬(B⇒A)
- Addition logischer Ausdrücke
(A⊕B)∨(A⊕C)
- Mit dem Zeichen "äquivalent"
(A⇒B)∨(B⇔C)
- Mit dem Zeichen "Folgerung"
((A⇒B)⇒(A|C))⇒(¬B⇒¬C)
- NOR
(A⇒B)∧(A↓C)
- Mit Konjunktion und Disjunktion
(A∨B)∨C ⇒ (A∨B)∧(A∨C)
- Mit NAND und NOR
0↓1|a|b|c|1↓0
Unterstützte Symbole in logischen Ausdrücken
Hier sind die Symbole aufgeführt, die beim Eingeben logischer Formeln verwendet werden sollten
- ¬a
- – Negation
- a⇒b
- – Implikation
- a∧b
- – Konjunktion
- a∨b
- – Disjunktion
- a⇔b
- – Äquivalenz
- a⊕b
- – Addition modulo 2 ( Exklusives Oder)
- a|b
- – NAND (Sheffer-Strich)
- a↓b
- – NOR (Peirce-Pfeil)
- a⊙b
- – XNOR gate ( Exklusives ODER mit Inversion)
Im Rechner können Ausdrücke mit folgenden Operationen vereinfacht werden: NOT, XOR, AND, OR, NAND, NOR, NOT, XNOR