Disjunction

logic

Definition

Disjunction

The disjunction is a binary logical connective. For formulas $A$ and $B$, the formula $A\vee B$ is true exactly when at least one of $A$ and $B$ is true, and false only when both are false.

Truth Table

$A$	$B$	$A\vee B$
$0$	$0$	$0$
$0$	$1$	$1$
$1$	$0$	$1$
$1$	$1$	$1$

Circuit Notation

IEC 60617-12

US ANSI 91-1984