Definition:Logical NAND/Boolean Interpretation

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

Let $\uparrow$ denote the logical NAND operator.

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


 * $v \left({\mathbf A \uparrow \mathbf B}\right) = \begin{cases}

T & : v \left({\mathbf A}\right) = F \text{ or } v \left({\mathbf B}\right) = F\\ F & : \text{otherwise} \end{cases}$