12,080
edits
Changes
→Wiki TeX Tables: add example
===Wiki Tables===
===Wiki Tables===
<br>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || (( )) || true || 1
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || (( )) || true || 1
|}
|}
<br>
===Wiki TeX Tables===
<br>
{| align="center" border="1" cellpadding="8" cellspacing="0" style="background:#f8f8ff; text-align:center; width:90%"
|+ <math>\text{Table 0.}~~\text{Propositional Forms on Two Variables}</math>
|- style="background:#f0f0ff"
| style="width:15%" |
<p><math>\mathcal{L}_1</math></p>
<p><math>\text{Decimal}</math></p>
| style="width:15%" |
<p><math>\mathcal{L}_2</math></p>
<p><math>\text{Binary}</math></p>
| style="width:15%" |
<p><math>\mathcal{L}_3</math></p>
<p><math>\text{Vector}</math></p>
| style="width:15%" |
<p><math>\mathcal{L}_4</math></p>
<p><math>\text{Cactus}</math></p>
| style="width:25%" |
<p><math>\mathcal{L}_5</math></p>
<p><math>\text{English}</math></p>
| style="width:15%" |
<p><math>\mathcal{L}_6</math></p>
<p><math>\text{Ordinary}</math></p>
|- style="background:#f0f0ff"
|
| align="right" | <math>x\colon\!</math>
| <math>1~1~0~0\!</math>
|
|
|
|-
|- style="background:#f0f0ff"
|
| align="right" | <math>y\colon\!</math>
| <math>1~0~1~0\!</math>
|
|
|
|-
| <math>f_{0}\!</math>
| <math>f_{0000}\!</math>
| <math>0~0~0~0\!</math>
| <math>(~)\!</math>
| <math>\text{false}\!</math>
| <math>0\!</math>
|-
| <math>f_{1}\!</math>
| <math>f_{0001}\!</math>
| <math>0~0~0~1\!</math>
| <math>(x)(y)\!</math>
| <math>\text{neither}~ x ~\text{nor}~ y\!</math>
| <math>\lnot x \land \lnot y\!</math>
|-
| <math>f_{2}\!</math>
| <math>f_{0010}\!</math>
| <math>0~0~1~0\!</math>
| <math>(x)~y\!</math>
| <math>y ~\text{without}~ x\!</math>
| <math>\lnot x \land y\!</math>
|-
| <math>f_{3}\!</math>
| <math>f_{0011}\!</math>
| <math>0~0~1~1\!</math>
| <math>(x)\!</math>
| <math>\text{not}~ x\!</math>
| <math>\lnot x\!</math>
|-
| <math>f_{4}\!</math>
| <math>f_{0100}\!</math>
| <math>0~1~0~0\!</math>
| <math>x~(y)\!</math>
| <math>x ~\text{without}~ y\!</math>
| <math>x \land \lnot y\!</math>
|-
| <math>f_{5}\!</math>
| <math>f_{0101}\!</math>
| <math>0~1~0~1\!</math>
| <math>(y)\!</math>
| <math>\text{not}~ y\!</math>
| <math>\lnot y\!</math>
|-
| <math>f_{6}\!</math>
| <math>f_{0110}\!</math>
| <math>0~1~1~0\!</math>
| <math>(x,~y)\!</math>
| <math>x ~\text{not equal to}~ y\!</math>
| <math>x \ne y\!</math>
|-
| <math>f_{7}\!</math>
| <math>f_{0111}\!</math>
| <math>0~1~1~1\!</math>
| <math>(x~y)\!</math>
| <math>\text{not both}~ x ~\text{and}~ y\!</math>
| <math>\lnot x \lor \lnot y\!</math>
|-
| <math>f_{8}\!</math>
| <math>f_{1000}\!</math>
| <math>1~0~0~0\!</math>
| <math>x~y\!</math>
| <math>x ~\text{and}~ y\!</math>
| <math>x \land y\!</math>
|-
| <math>f_{9}\!</math>
| <math>f_{1001}\!</math>
| <math>1~0~0~1\!</math>
| <math>((x,~y))\!</math>
| <math>x ~\text{equal to}~ y\!</math>
| <math>x = y\!</math>
|-
| <math>f_{10}\!</math>
| <math>f_{1010}\!</math>
| <math>1~0~1~0\!</math>
| <math>y\!</math>
| <math>y\!</math>
| <math>y\!</math>
|-
| <math>f_{11}\!</math>
| <math>f_{1011}\!</math>
| <math>1~0~1~1\!</math>
| <math>(x~(y))\!</math>
| <math>\text{not}~ x ~\text{without}~ y\!</math>
| <math>x \Rightarrow y\!</math>
|-
| <math>f_{12}\!</math>
| <math>f_{1100}\!</math>
| <math>1~1~0~0\!</math>
| <math>x\!</math>
| <math>x\!</math>
| <math>x\!</math>
|-
| <math>f_{13}\!</math>
| <math>f_{1101}\!</math>
| <math>1~1~0~1\!</math>
| <math>((x)~y)\!</math>
| <math>\text{not}~ y ~\text{without}~ x\!</math>
| <math>x \Leftarrow y\!</math>
|-
| <math>f_{14}\!</math>
| <math>f_{1110}\!</math>
| <math>1~1~1~0\!</math>
| <math>((x)(y))\!</math>
| <math>x ~\text{or}~ y\!</math>
| <math>x \lor y\!</math>
|-
| <math>f_{15}\!</math>
| <math>f_{1111}\!</math>
| <math>1~1~1~1\!</math>
| <math>((~))\!</math>
| <math>\text{true}\!</math>
| <math>1\!</math>
|}
<br>
<br>