Difference between revisions of "User:Jon Awbrey/MNO"

MyWikiBiz, Author Your Legacy — Friday November 22, 2024
Jump to navigationJump to search
(add user workspace)
 
Line 2: Line 2:
  
 
==Truth Tables==
 
==Truth Tables==
 +
 +
<br>
 +
 +
{| align="center" border="1" cellpadding="8" cellspacing="0" style="text-align:center; width:90%"
 +
|+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math>
 +
|- style="background:#f0f0ff"
 +
| width="15%" |
 +
<p><math>\mathcal{L}_1</math></p>
 +
<p><math>\text{Decimal}</math></p>
 +
| width="15%" |
 +
<p><math>\mathcal{L}_2</math></p>
 +
<p><math>\text{Binary}</math></p>
 +
| width="15%" |
 +
<p><math>\mathcal{L}_3</math></p>
 +
<p><math>\text{Vector}</math></p>
 +
| width="15%" |
 +
<p><math>\mathcal{L}_4</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"
 +
| &nbsp;
 +
| align="right" | <math>p\colon\!</math>
 +
| <math>1~1~0~0\!</math>
 +
| &nbsp;
 +
| &nbsp;
 +
| &nbsp;
 +
|- style="background:#f0f0ff"
 +
| &nbsp;
 +
| align="right" | <math>q\colon\!</math>
 +
| <math>1~0~1~0\!</math>
 +
| &nbsp;
 +
| &nbsp;
 +
| &nbsp;
 +
|-
 +
|
 +
<math>\begin{matrix}
 +
f_0
 +
\\[4pt]
 +
f_1
 +
\\[4pt]
 +
f_2
 +
\\[4pt]
 +
f_3
 +
\\[4pt]
 +
f_4
 +
\\[4pt]
 +
f_5
 +
\\[4pt]
 +
f_6
 +
\\[4pt]
 +
f_7
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
f_{0000}
 +
\\[4pt]
 +
f_{0001}
 +
\\[4pt]
 +
f_{0010}
 +
\\[4pt]
 +
f_{0011}
 +
\\[4pt]
 +
f_{0100}
 +
\\[4pt]
 +
f_{0101}
 +
\\[4pt]
 +
f_{0110}
 +
\\[4pt]
 +
f_{0111}
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
0~0~0~0
 +
\\[4pt]
 +
0~0~0~1
 +
\\[4pt]
 +
0~0~1~0
 +
\\[4pt]
 +
0~0~1~1
 +
\\[4pt]
 +
0~1~0~0
 +
\\[4pt]
 +
0~1~0~1
 +
\\[4pt]
 +
0~1~1~0
 +
\\[4pt]
 +
0~1~1~1
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
(~)
 +
\\[4pt]
 +
(p)(q)
 +
\\[4pt]
 +
(p)~q~
 +
\\[4pt]
 +
(p)~~~
 +
\\[4pt]
 +
~p~(q)
 +
\\[4pt]
 +
~~~(q)
 +
\\[4pt]
 +
(p,~q)
 +
\\[4pt]
 +
(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>
 +
|-
 +
|
 +
<math>\begin{matrix}
 +
f_8
 +
\\[4pt]
 +
f_9
 +
\\[4pt]
 +
f_{10}
 +
\\[4pt]
 +
f_{11}
 +
\\[4pt]
 +
f_{12}
 +
\\[4pt]
 +
f_{13}
 +
\\[4pt]
 +
f_{14}
 +
\\[4pt]
 +
f_{15}
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
f_{1000}
 +
\\[4pt]
 +
f_{1001}
 +
\\[4pt]
 +
f_{1010}
 +
\\[4pt]
 +
f_{1011}
 +
\\[4pt]
 +
f_{1100}
 +
\\[4pt]
 +
f_{1101}
 +
\\[4pt]
 +
f_{1110}
 +
\\[4pt]
 +
f_{1111}
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
1~0~0~0
 +
\\[4pt]
 +
1~0~0~1
 +
\\[4pt]
 +
1~0~1~0
 +
\\[4pt]
 +
1~0~1~1
 +
\\[4pt]
 +
1~1~0~0
 +
\\[4pt]
 +
1~1~0~1
 +
\\[4pt]
 +
1~1~1~0
 +
\\[4pt]
 +
1~1~1~1
 +
\end{matrix}</math>
 +
|
 +
<math>\begin{matrix}
 +
~~p~~q~~
 +
\\[4pt]
 +
((p,~q))
 +
\\[4pt]
 +
~~~~~q~~
 +
\\[4pt]
 +
~(p~(q))
 +
\\[4pt]
 +
~~p~~~~~
 +
\\[4pt]
 +
((p)~q)~
 +
\\[4pt]
 +
((p)(q))
 +
\\[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>
 +
|}
 +
 +
<br>
  
 
==Venn Diagrams==
 
==Venn Diagrams==

Revision as of 01:10, 23 August 2009

Logical Graphs

Truth Tables


\(\text{Table A1.}~~\text{Propositional Forms on Two Variables}\)

\(\mathcal{L}_1\)

\(\text{Decimal}\)

\(\mathcal{L}_2\)

\(\text{Binary}\)

\(\mathcal{L}_3\)

\(\text{Vector}\)

\(\mathcal{L}_4\)

\(\text{Cactus}\)

\(\mathcal{L}_5\)

\(\text{English}\)

\(\mathcal{L}_6\)

\(\text{Ordinary}\)

  \(p\colon\!\) \(1~1~0~0\!\)      
  \(q\colon\!\) \(1~0~1~0\!\)      

\(\begin{matrix} f_0 \\[4pt] f_1 \\[4pt] f_2 \\[4pt] f_3 \\[4pt] f_4 \\[4pt] f_5 \\[4pt] f_6 \\[4pt] f_7 \end{matrix}\)

\(\begin{matrix} f_{0000} \\[4pt] f_{0001} \\[4pt] f_{0010} \\[4pt] f_{0011} \\[4pt] f_{0100} \\[4pt] f_{0101} \\[4pt] f_{0110} \\[4pt] f_{0111} \end{matrix}\)

\(\begin{matrix} 0~0~0~0 \\[4pt] 0~0~0~1 \\[4pt] 0~0~1~0 \\[4pt] 0~0~1~1 \\[4pt] 0~1~0~0 \\[4pt] 0~1~0~1 \\[4pt] 0~1~1~0 \\[4pt] 0~1~1~1 \end{matrix}\)

\(\begin{matrix} (~) \\[4pt] (p)(q) \\[4pt] (p)~q~ \\[4pt] (p)~~~ \\[4pt] ~p~(q) \\[4pt] ~~~(q) \\[4pt] (p,~q) \\[4pt] (p~~q) \end{matrix}\)

\(\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}\)

\(\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}\)

\(\begin{matrix} f_8 \\[4pt] f_9 \\[4pt] f_{10} \\[4pt] f_{11} \\[4pt] f_{12} \\[4pt] f_{13} \\[4pt] f_{14} \\[4pt] f_{15} \end{matrix}\)

\(\begin{matrix} f_{1000} \\[4pt] f_{1001} \\[4pt] f_{1010} \\[4pt] f_{1011} \\[4pt] f_{1100} \\[4pt] f_{1101} \\[4pt] f_{1110} \\[4pt] f_{1111} \end{matrix}\)

\(\begin{matrix} 1~0~0~0 \\[4pt] 1~0~0~1 \\[4pt] 1~0~1~0 \\[4pt] 1~0~1~1 \\[4pt] 1~1~0~0 \\[4pt] 1~1~0~1 \\[4pt] 1~1~1~0 \\[4pt] 1~1~1~1 \end{matrix}\)

\(\begin{matrix} ~~p~~q~~ \\[4pt] ((p,~q)) \\[4pt] ~~~~~q~~ \\[4pt] ~(p~(q)) \\[4pt] ~~p~~~~~ \\[4pt] ((p)~q)~ \\[4pt] ((p)(q)) \\[4pt] ((~)) \end{matrix}\)

\(\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}\)

\(\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}\)


Venn Diagrams