Verification “all true” by breaking down into individual statements
Tabelle Logik Verknüpfung - 3 Input Boolean Tableau
Online Calculator: [url=http://wahrheitstabelle.daug.de/]Die Seite daug.de/wahrheitstabelle[/url] [math]\nearrow[/math][br][br]XOR Replacement: Input (a # b) [math]\Longrightarrow[/math] Output (a [math]\ne[/math] b) :: standard operator [math]\oplus[/math][br]Reverse [ ] first line true [ √ ] first line false[br][br][color=#ff0000]all true : ((a → b) ∧ (b → c)) → (a → c)[/color][br][color=#ff0000]Bug: [/color]can not parenthesise last term → (a→ c)[br]was crippled to ((a → b) ∧ (b → c)) → a → c after input D2,D4,D6 == false (should be true)[br][color=#1e84cc][color=#ff0000]((a → b) ∧ (b → c)) →[color=#1e84cc] ¬[/color][color=#1e84cc](¬[/color](a → c)[/color])[/color] addition to force parenthesis of last term[br]aus a folgt b UND aus b folgt c daraus folgt aus a folgt c [br]
Verfikation "all true" durch Zerlegen in einzelne Aussagen
Zerlegen und untersuchen einer Aussageform -Decompose and examine a form of statement
Input[br]((! a && !b && c) || (!a && b && c)) || (a && !b && c)[br]---[br]Output[br]((¬ a ∧ ¬b ∧ c) ∨ (¬a ∧ b ∧ c)) ∨ (a ∧ ¬b ∧ c)[br]---[br]Transfer terms in brackets to columns E,F,G → H Summary[br]Ctrl+D : Formula view on/off[br]Column H: Copy the formula H1 → H1:H8