Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Minimal negation operator
(view source)
Revision as of 13:18, 24 August 2009
4 bytes added
,
13:18, 24 August 2009
typos
Line 19:
Line 19:
\\[6pt]
\\[6pt]
\texttt{(x, y)}
\texttt{(x, y)}
−
& = & \
nu
(x, y)
+
& = & \
nu_2
(x, y)
& = & \tilde{x}y \lor x\tilde{y}
& = & \tilde{x}y \lor x\tilde{y}
& = & x^\prime y \lor x y^\prime
& = & x^\prime y \lor x y^\prime
\\[6pt]
\\[6pt]
\texttt{(x, y, z)}
\texttt{(x, y, z)}
−
& = & \
nu
(x, y, z)
+
& = & \
nu_3
(x, y, z)
& = & \tilde{x}yz \lor x\tilde{y}z \lor xy\tilde{z}
& = & \tilde{x}yz \lor x\tilde{y}z \lor xy\tilde{z}
& = & x^\prime y z \lor x y^\prime z \lor x y z^\prime
& = & x^\prime y z \lor x y^\prime z \lor x y z^\prime
Jon Awbrey
12,080
edits