XXL Tabelle Logik Verknüpfung - Boolean Tableau

Logikgatter – Beispiel, Wahrheitstabelle aufstellen
https://www.youtube.com/watch?app=desktop&v=bbtXsdRQIPU
Anzahl Eingänge: 4[br]Input [size=85][i](alphabetische Reihenfolge Großbuchstaben)[/i][/size][br](!(D && ¬C) || B) && ( C || B) && !((C && !A) || (!C ∧ A))[br]Output[br](¬(D ∧ ¬C) ∨ B) ∧ ( C ∨ B) ∧ ¬((C ∧ ¬A) ∨ (¬C ∧ A))[br]Ziel: E [size=85]([i]Zielspalte des Formelterms E1 der ersten Zeile)[/i][/size]Reverse [i][ ] [i][size=85]true-Zeile oben[/size][/i] [ √ ] [size=85][i]false-Zeile oben[/i][/size][br][/i]Make Tableau[size=85][i](Wahrheitstabelle in Spreadsheet eintragen und Formeln Zeile ablegen)[/i][/size][br][i]Copy Formelterm der Zielzelle über die komplette Spalte des Tableaus[br][/i][i]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[/i].[br]---[br]Number of inputs: 4[br]Input [i][size=85](alphabetical order capital letters)[/size][/i][br](!(D && ¬C) || B) && ( C || B) && !((C && !A) || (!C ∧ A))[br]Output[br](¬(D ∧ ¬C) ∨ B) ∧ ( C ∨ B) ∧ ¬((C ∧ ¬A) ∨ (¬C ∧ A))[br]Ziel: E [size=85][i](target column of the formula term E1 of the first line)[/i][/size][br]Reverse [ ] [size=85][i]true row at the top[/i][/size] [ √ ] [size=85][i]false row at the top[/i][/size][br]Make Tableau [i]([size=85]enter truth table in spreadsheet and store formula of the collumn[/size])[/i][br][i]Copy formula term in target cell into the complete column of the tableau[br][/i][i]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.[/i]
Distributivgesetz der Aussagenlogik - Beweis mit Wahrheitstafeln
Example
Vervollständigen/Finish des Tableaus

Information: XXL Tabelle Logik Verknüpfung - Boolean Tableau