Implication

boolean-algebra

Definition

Implication

The implication $a⟹b$, where $a$ is called premise and $b$ is called conclusion, is a binary operation that maps to true except when the premise $a$ is true and the conclusion $b$ is false.

Truth Table

$A$	$B$	$A⟹B$
$0$	$0$	$1$
$0$	$1$	$1$
$1$	$0$	$0$
$1$	$1$	$1$