Aufgaben: Vereinfachung unter Anwendung von logischen Identitäten

Aufgaben: Vereinfachung unter Anwendung von logischen Identitäten

Aufgabe 1

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

$(A\rightarrow B)\land \neg B)\rightarrow \neg A$

Lösung$(A\rightarrow B)\land \neg B)\rightarrow \neg A\;\equiv \;1$

Aufgabe 2

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

$(\neg A\rightarrow B)\rightarrow \neg (\neg A\rightarrow \neg B$

Lösung$(\neg A\rightarrow B)\rightarrow \neg (\neg A\rightarrow \neg B)\;\equiv \;\neg A$

Aufgabe 3

Aufgabe

Vereinfache den folgenden Term unter Anwendung von logischen Identitäten soweit wie möglich:

$((\neg A\lor C)\land (B\lor \neg C))\rightarrow ((B\lor C)\rightarrow (A\land C))$

Lösung$((\neg A\lor C)\land (B\lor \neg C))\rightarrow ((B\lor C)\rightarrow (A\land C))\;\equiv \;A\lor \neg B$