Definition:Logical NOR/Boolean Interpretation

From ProofWiki
Jump to navigation Jump to search

Definition

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

Let $\downarrow$ denote the logical NOR operator.


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

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