0 Daumen
170 Aufrufe

Vereinfachung der Formel mithilfe äquivalenter Umformungen: (C -> A) \/ (A /\ B) \/ (B /\ C)

Avatar von

1 Antwort

+1 Daumen

(C→A)∨(A∧B)∨(B∧C)          |Subjunktion

⇔(¬C∨A)∨(A∧B)∨(B∧C)      |Assoziativgesetz

⇔¬C∨(A∨(A∧B))∨(B∧C)      |Absorptionsgesetz

⇔¬C∨A∨(B∧C)                     |Kommutativgesetz+Assoziativgesetz

⇔A∨(¬C∨(B∧C))                   |Distributivgesetz

⇔A∨((¬C∨B)∧(¬C∨C))         |Tautologie

⇔A∨((¬C∨B)∧T)                   |Neutralität

⇔A∨(¬C∨B)                          |Assoziativgesetz+Kommutativgesetz

⇔A∨B∨¬C

Avatar von 1,3 k

Ein anderes Problem?

Stell deine Frage

Willkommen bei der Mathelounge! Stell deine Frage einfach und kostenlos

x
Made by a lovely community