Eine markierte Version dieser Seite, die am 9. Oktober 2014 freigegeben wurde, basiert auf dieser Version.

Die einfachste Gestalt durch scharfes Hinsehen ermitteln

- to do -

Weitere Erläuterungen folgen.

$A$	$B$	$C$	$((A \to B) \to (B \to C)) \to C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$

$A$	$B$	$C$	$((A \to B) \to (B \to C)) \to C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$

$A$	$B$	$C$	$((A \to B) \to (B \to C)) \to C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$

6.2.10.1.1 Die einfachste Gestalt durch scharfes Hinsehen ermitteln

$A$	$B$	$C$	$((A \to B) \to (B \to C)) \to C$
$0$	$0$	$0$	$0$
$0$	$0$	$1$	$1$
$0$	$1$	$0$	$1$
$0$	$1$	$1$	$1$
$1$	$0$	$0$	$0$
$1$	$0$	$1$	$1$
$1$	$1$	$0$	$1$
$1$	$1$	$1$	$1$