Lösung von Aufgabe 1.5 (WS 19 20)

Beweisen Sie jeweils mit einer Wahrheitstabelle:

• $(A\Rightarrow B)\Leftrightarrow (\neg A\vee B)$
• $\neg (A \wedge B)$ $\Leftrightarrow$ ($\neg A$ $\vee$ $\neg B$)
  

$A$	$\neg A$	$B$	$\neg B$	$(A\Rightarrow B)$	$(\neg A\vee B)$	$(A \wedge B)$	$\neg (A \wedge B)$	($\neg A$ $\vee$ $\neg B$)
$w$	$f$	$f$	$w$	$w$	$w$	$w$	$f$	$f$
$w$	$f$	$f$	$w$	$f$	$f$	$f$	$w$	$w$
$f$	$w$	$w$	$f$	$w$	$w$	$f$	$w$	$w$
$f$	$w$	$w$	$f$	$w$	$w$	$f$	$w$	$w$

qed