Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
User:Jon Awbrey/MNO
(view source)
Revision as of 01:30, 23 August 2009
1,079 bytes removed
,
01:30, 23 August 2009
→Work Area
Line 509:
Line 509:
<p><math>\mathcal{L}_4</math></p>
<p><math>\mathcal{L}_4</math></p>
<p><math>\text{Cactus}</math></p>
<p><math>\text{Cactus}</math></p>
−
| width="25%" |
−
<p><math>\mathcal{L}_5</math></p>
−
<p><math>\text{English}</math></p>
−
| width="15%" |
−
<p><math>\mathcal{L}_6</math></p>
−
<p><math>\text{Ordinary}</math></p>
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
|
|
| align="right" | <math>p\colon\!</math>
| align="right" | <math>p\colon\!</math>
| <math>1~1~0~0\!</math>
| <math>1~1~0~0\!</math>
−
|
−
|
|
|
|- style="background:#f0f0ff"
|- style="background:#f0f0ff"
Line 526:
Line 518:
| align="right" | <math>q\colon\!</math>
| align="right" | <math>q\colon\!</math>
| <math>1~0~1~0\!</math>
| <math>1~0~1~0\!</math>
−
|
−
|
|
|
|-
|-
Line 601:
Line 591:
\\[4pt]
\\[4pt]
(p~~q)
(p~~q)
−
\end{matrix}</math>
−
|
−
<math>\begin{matrix}
−
\text{false}
−
\\[4pt]
−
\text{neither}~ p ~\text{nor}~ q
−
\\[4pt]
−
q ~\text{without}~ p
−
\\[4pt]
−
\text{not}~ p
−
\\[4pt]
−
p ~\text{without}~ q
−
\\[4pt]
−
\text{not}~ q
−
\\[4pt]
−
p ~\text{not equal to}~ q
−
\\[4pt]
−
\text{not both}~ p ~\text{and}~ q
−
\end{matrix}</math>
−
|
−
<math>\begin{matrix}
−
0
−
\\[4pt]
−
\lnot p \land \lnot q
−
\\[4pt]
−
\lnot p \land q
−
\\[4pt]
−
\lnot p
−
\\[4pt]
−
p \land \lnot q
−
\\[4pt]
−
\lnot q
−
\\[4pt]
−
p \ne q
−
\\[4pt]
−
\lnot p \lor \lnot q
\end{matrix}</math>
\end{matrix}</math>
|-
|-
Line 710:
Line 664:
\\[4pt]
\\[4pt]
((~))
((~))
−
\end{matrix}</math>
−
|
−
<math>\begin{matrix}
−
p ~\text{and}~ q
−
\\[4pt]
−
p ~\text{equal to}~ q
−
\\[4pt]
−
q
−
\\[4pt]
−
\text{not}~ p ~\text{without}~ q
−
\\[4pt]
−
p
−
\\[4pt]
−
\text{not}~ q ~\text{without}~ p
−
\\[4pt]
−
p ~\text{or}~ q
−
\\[4pt]
−
\text{true}
−
\end{matrix}</math>
−
|
−
<math>\begin{matrix}
−
p \land q
−
\\[4pt]
−
p = q
−
\\[4pt]
−
q
−
\\[4pt]
−
p \Rightarrow q
−
\\[4pt]
−
p
−
\\[4pt]
−
p \Leftarrow q
−
\\[4pt]
−
p \lor q
−
\\[4pt]
−
1
\end{matrix}</math>
\end{matrix}</math>
|}
|}
Jon Awbrey
12,089
edits