Lösung von Aufgabe 1.5 (WS 19 20)

Beweisen Sie jeweils mit einer Wahrheitstabelle:

• $(A\Rightarrow B)\iff (\mathrm{\neg }A\vee B)$
• $\mathrm{\neg }(A\wedge B)$ $\iff$ ($\mathrm{\neg }A$ $\vee$ $\mathrm{\neg }B$)
  

$A$	$\mathrm{\neg }A$	$B$	$\mathrm{\neg }B$	$(A\Rightarrow B)$	$(\mathrm{\neg }A\vee B)$	$(A\wedge B)$	$\mathrm{\neg }(A\wedge B)$	($\mathrm{\neg }A$ $\vee$ $\mathrm{\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