XXL Tabelle Logik Verknüpfung - Boolean Tableau
Logikgatter – Beispiel, Wahrheitstabelle aufstellen
Anzahl Eingänge: 4
Input (alphabetische Reihenfolge Großbuchstaben)
(!(D && ¬C) || B) && ( C || B) && !((C && !A) || (!C ∧ A))
Output
(¬(D ∧ ¬C) ∨ B) ∧ ( C ∨ B) ∧ ¬((C ∧ ¬A) ∨ (¬C ∧ A))
Ziel: E (Zielspalte des Formelterms E1 der ersten Zeile)Reverse [ ] true-Zeile oben [ √ ] false-Zeile oben
Make Tableau(Wahrheitstabelle in Spreadsheet eintragen und Formeln Zeile ablegen)
Copy Formelterm der Zielzelle über die komplette Spalte des Tableaus
Um einzelne Terme des Ausdrucks zu untersuchen kopieren sie diese aus der E1-Formel in die erste Tabellenzeile und kopieren sie diesen Eintrag über die Spalte des Tableaus.
---
Number of inputs: 4
Input (alphabetical order capital letters)
(!(D && ¬C) || B) && ( C || B) && !((C && !A) || (!C ∧ A))
Output
(¬(D ∧ ¬C) ∨ B) ∧ ( C ∨ B) ∧ ¬((C ∧ ¬A) ∨ (¬C ∧ A))
Ziel: E (target column of the formula term E1 of the first line)
Reverse [ ] true row at the top [ √ ] false row at the top
Make Tableau (enter truth table in spreadsheet and store formula of the collumn)
Copy formula term in target cell into the complete column of the tableau
To analyse individual terms of the expression, copy them from the E1 formula into the first row of the table and copy this entry over the column of the tableau.
Distributivgesetz der Aussagenlogik - Beweis mit Wahrheitstafeln
Example
