Minimal Negation Operator/Examples/2

From ProofWiki
Jump to navigation Jump to search

Example of the Minimal Negation Operator

Let $\nu_k$ denote the minimal negation operator with $k$ arguments.


$\nu_2$ is the same operator as the exclusive or operator $\oplus$:

$\map {\nu_2} {p, q} = p \oplus q$