12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday September 09, 2025
Jump to navigationJump to search→Wiki TeX Tables
|
|
|-
|-
| f<sub>0</sub>
| <math>f_0\!</math>
| f<sub>0000</sub>
| <math>f_{0000}\!</math>
| 0 0 0 0
| <math>0~0~0~0</math>
| ( )
| <math>(~)</math>
| false
| <math>\text{false}\!</math>
| 0
| <math>0\!</math>
|-
|-
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>1</sub></p>
<math>\begin{matrix}
f_1
\\[4pt]
f_2
\\[4pt]
f_4
\\[4pt]
f_8
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>0001</sub></p>
<math>\begin{matrix}
f_{0001}
\\[4pt]
f_{0010}
\\[4pt]
f_{0100}
\\[4pt]
f_{1000}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>0 0 0 1</p>
<math>\begin{matrix}
0~0~0~1
\\[4pt]
0~0~1~0
\\[4pt]
0~1~0~0
\\[4pt]
1~0~0~0
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>(x)(y)</p>
<math>\begin{matrix}
(x)(y)
\\[4pt]
(x)~y~
\\[4pt]
~x~(y)
\\[4pt]
~x~~y~
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>neither x nor y</p>
<math>\begin{matrix}
\text{neither}~ x ~\text{nor}~ y
\\[4pt]
y ~\text{without}~ x
\\[4pt]
x ~\text{without}~ y
\\[4pt]
x ~\text{and}~ y
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>¬x ∧ ¬y</p>
<math>\begin{matrix}
\lnot x \land \lnot y
\\[4pt]
\lnot x \land y
\\[4pt]
x \land \lnot y
\\[4pt]
x \land y
\end{matrix}</math>
|}
|}
|-
|-
{| align="center"
{| align="center"
|
|
<p>f<sub>3</sub></p>
<math>\begin{matrix}
f_3
\\[4pt]
f_{12}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>0011</sub></p>
<math>\begin{matrix}
f_{0011}
\\[4pt]
f_{1100}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>0 0 1 1</p>
<math>\begin{matrix}
0~0~1~1
\\[4pt]
1~1~0~0
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>(x)</p>
<math>\begin{matrix}
(x)
\\[4pt]
~x~
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>not x</p>
<math>\begin{matrix}
\text{not}~ x
\\[4pt]
x
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>¬x</p>
<math>\begin{matrix}
\lnot x
\\[4pt]
x
\end{matrix}</math>
|}
|}
|-
|-
{| align="center"
{| align="center"
|
|
<p>f<sub>6</sub></p>
<math>\begin{matrix}
f_6
\\[4pt]
f_9
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>0110</sub></p>
<math>\begin{matrix}
f_{0110}
\\[4pt]
f_{1001}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>0 1 1 0</p>
<math>\begin{matrix}
0~1~1~0
\\[4pt]
1~0~0~1
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p> (x, y) </p>
<math>\begin{matrix}
~(x,~y)~
\\[4pt]
((x,~y))
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>x not equal to y</p>
<math>\begin{matrix}
x ~\text{not equal to}~ y
\\[4pt]
x ~\text{equal to}~ y
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>x ≠ y</p>
<math>\begin{matrix}
x \ne y
\\[4pt]
x = y
\end{matrix}</math>
|}
|}
|-
|-
{| align="center"
{| align="center"
|
|
<p>f<sub>5</sub></p>
<math>\begin{matrix}
f_5
\\[4pt]
f_{10}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>0101</sub></p>
<math>\begin{matrix}
f_{0101}
\\[4pt]
f_{1010}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>0 1 0 1</p>
<math>\begin{matrix}
0~1~0~1
\\[4pt]
1~0~1~0
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>(y)</p>
<math>\begin{matrix}
(y)
\\[4pt]
~y~
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>not y</p>
<math>\begin{matrix}
\text{not}~ y
\\[4pt]
y
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>¬y</p>
<math>\begin{matrix}
\lnot y
\\[4pt]
y
\end{matrix}</math>
|}
|}
|-
|-
{| align="center"
{| align="center"
|
|
<p>f<sub>7</sub></p>
<math>\begin{matrix}
f_7
\\[4pt]
f_{11}
\\[4pt]
f_{13}
\\[4pt]
f_{14}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>f<sub>0111</sub></p>
<math>\begin{matrix}
f_{0111}
\\[4pt]
f_{1011}
\\[4pt]
f_{1101}
\\[4pt]
f_{1110}
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>0 1 1 1</p>
<math>\begin{matrix}
0~1~1~1
\\[4pt]
1~0~1~1
\\[4pt]
1~1~0~1
\\[4pt]
1~1~1~0
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>(x y)</p>
<math>\begin{matrix}
~(x~~y)~
\\[4pt]
~(x~(y))
\\[4pt]
((x)~y)~
\\[4pt]
((x)(y))
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>not both x and y</p>
<math>\begin{matrix}
\text{not both}~ x ~\text{and}~ y
\\[4pt]
\text{not}~ x ~\text{without}~ y
\\[4pt]
\text{not}~ y ~\text{without}~ x
\\[4pt]
x ~\text{or}~ y
\end{matrix}</math>
|}
|}
|
|
{| align="center"
{| align="center"
|
|
<p>¬x ∨ ¬y</p>
<math>\begin{matrix}
\lnot x \lor \lnot y
\\[4pt]
x \Rightarrow y
\\[4pt]
x \Leftarrow y
\\[4pt]
x \lor y
\end{matrix}</math>
|}
|}
|-
|-
| f<sub>15</sub>
| <math>f_{15}\!</math>
| f<sub>1111</sub>
| <math>f_{1111}\!</math>
| 1 1 1 1
| <math>1~1~1~1</math>
| (( ))
| <math>((~))</math>
| true
| <math>\text{true}\!</math>
| 1
| <math>1\!</math>
|}
|}
