# Definition:Disjunction/Boolean Interpretation

## Definition

Let $\mathbf A$ and $\mathbf B$ be propositional formulas.

Let $\lor$ denote the disjunction operator.

The truth value of $\mathbf A \lor \mathbf B$ under a boolean interpretation $v$ is given by:

$\map v {\mathbf A \lor \mathbf B} = \begin{cases} \F & : \map v {\mathbf A} = \map v {\mathbf B} = \F \\ \T & : \text{otherwise} \end{cases}$