否定の法則

$\displaystyle \sim 0 = 1$			(33)
$\displaystyle \sim 1 = 0$			(34)
$\displaystyle \sim \sim 0 = 0$			(35)
$\displaystyle \sim \sim 1 = 1$			(36)
$\displaystyle \sim \sim x = x$			(37)

$\displaystyle \mbox{排中律} \qquad \sim x \lor x = 1$			(38)
$\displaystyle x \lor \sim x = 1$			(39)

$\displaystyle \mbox{矛盾律} \qquad \sim x \land x = 0$			(40)
$\displaystyle x \land \sim x = 0$			(41)
$\displaystyle \sim x \cdot x = 0$			(42)
$\displaystyle x \cdot \sim x = 0$			(43)
$\displaystyle \sim x x = 0$			(44)
$\displaystyle x \sim x = 0$			(45)