Tabelle Logik Verknüpfung - 3 Input Boolean Tableau
Online Calculator: Die Seite daug.de/wahrheitstabelle
XOR Replacement: Input (a # b) Output (a b) :: standard operator
Reverse [ ] first line true [ √ ] first line false
all true : ((a → b) ∧ (b → c)) → (a → c)
Bug: can not parenthesise last term → (a→ c)
was crippled to ((a → b) ∧ (b → c)) → a → c after input D2,D4,D6 == false (should be true)
((a → b) ∧ (b → c)) → ¬(¬(a → c)) addition to force parenthesis of last term
aus a folgt b UND aus b folgt c daraus folgt aus a folgt c
Verfikation "all true" durch Zerlegen in einzelne Aussagen
Zerlegen und untersuchen einer Aussageform -Decompose and examine a form of statement
