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 02:40, 29 July 2011
129 bytes added
,
02:40, 29 July 2011
add a bit
Line 13:
Line 13:
|}
|}
−
As usual, one
omits
the dots <math>(\cdot)</math> in contexts where they are understood.
+
As usual, one
drops
the dots <math>(\cdot)</math> in contexts where they are understood
, giving the following form
.
+
+
{| align="center" cellpadding="8"
+
| <math>\texttt{Mno}(p, q) = \tilde{p}q \lor p\tilde{q}.</math>
+
|}
The venn diagram for <math>\texttt{Mno}(p, q, r)</math> is shown in Figure 1.
The venn diagram for <math>\texttt{Mno}(p, q, r)</math> is shown in Figure 1.
Jon Awbrey
12,080
edits