Definition:Logical NOR/Boolean Interpretation

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

Let $\mathbf A \downarrow \mathbf B$ denote the logical NOR operator.

The boolean interpretations for $\mathbf A \downarrow \mathbf B$ under the model $\mathcal M$ are:


 * $\left({\mathbf A \downarrow \mathbf B}\right)_{\mathcal M} = \begin{cases}

T & : \mathbf A_{\mathcal M} = F \text{ and } \mathbf B_{\mathcal M} = F \\ F & : \text {otherwise} \end{cases}$