Zeile 37:
Zeile 37: Jetzt bis du dran:
Jetzt bis du dran:
</p>
</p>
<div class="clearer"></div>
<br />
<br />
Version vom 14. November 2014, 22:23 Uhr
Beweisführung anhand einer Wahrheitstafel
Eine Aufgabe und deren Lösung:
Aufgabe
Beweise mit Hilfe einer Wahrheitstafel:
(
A
↔
B
)
≡
(
A
→
B
)
∧
(
B
→
A
)
{\displaystyle (A\leftrightarrow B)\;\equiv \;(A\rightarrow B)\land (B\rightarrow A)}
Das folgende Video zeigt die Beweisführung:
Hier ist die im Video erstellte Wahrheitstafel:
Da beide gelb markierten Spalten identische Werte in den jeweiligen Zeilen aufweisen, ist die Äquivalenz bewiesen. (Unter der Voraussetzung, dass die ermittelten Werte in der Wahrheitstafel korrekt sind.)
Jetzt bis du dran:
Aufgabe 1 Aufgabe
(
¬
A
∧
B
)
∨
A
≡
(
B
∨
A
)
{\displaystyle (\neg A\land B)\lor A\;\equiv \;(B\lor A)}
Aufgabe 2 Aufgabe
(
¬
A
∨
B
)
∧
A
≡
(
B
∧
A
)
{\displaystyle (\neg A\lor B)\land A\;\equiv \;(B\land A)}
Aufgabe 3 Aufgabe
(
A
∧
B
)
∨
(
A
∧
¬
B
)
≡
A
{\displaystyle (A\land B)\lor (A\land \neg B)\;\equiv \;A}
Aufgabe 4 Aufgabe
(
A
∨
B
)
∧
(
A
∨
¬
B
)
≡
A
{\displaystyle (A\lor B)\land (A\lor \neg B)\;\equiv \;A}
Aufgabe 5 Aufgabe
(
A
→
B
)
∧
¬
B
)
→
¬
A
≡
1
{\displaystyle (A\rightarrow B)\land \neg B)\rightarrow \neg A\;\equiv \;1}
Hinweis
(
A
→
B
)
∧
¬
B
)
→
¬
A
{\displaystyle (A\rightarrow B)\land \neg B)\rightarrow \neg A}
1
{\displaystyle 1}
1
{\displaystyle 1}
Aufgabe 6 Aufgabe
(
¬
A
→
B
)
→
¬
(
¬
A
→
¬
B
)
≡
¬
A
{\displaystyle (\neg A\rightarrow B)\rightarrow \neg (\neg A\rightarrow \neg B)\;\equiv \;\neg A}
Aufgabe 7 Aufgabe
(
(
¬
A
∨
C
)
∧
(
B
∨
¬
C
)
)
→
(
(
B
∨
C
)
→
(
A
∧
C
)
)
≡
A
∨
¬
B
{\displaystyle ((\neg A\lor C)\land (B\lor \neg C))\rightarrow ((B\lor C)\rightarrow (A\land C))\;\equiv \;A\lor \neg B}
