12,080
edits
Changes
→Table Templates: add
|}
|}
<br>
<br>
<font face="courier new">
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ Table 2. Two Variable Template
|- style="background:paleturquoise"
|
{| align="right" style="background:paleturquoise; text-align:right"
| u :
|-
| v :
|}
|
{| style="background:paleturquoise"
| 1100
|-
| 1010
|}
|
{| style="background:paleturquoise"
| f
|-
|
|}
|
{| style="background:paleturquoise"
| f
|-
|
|}
|
{| style="background:paleturquoise"
| f
|-
|
|}
|-
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>0</sub>
|-
| f<sub>1</sub>
|-
| f<sub>2</sub>
|-
| f<sub>3</sub>
|-
| f<sub>4</sub>
|-
| f<sub>5</sub>
|-
| f<sub>6</sub>
|-
| f<sub>7</sub>
|}
|
{| cellpadding="2" style="background:lightcyan"
| 0000
|-
| 0001
|-
| 0010
|-
| 0011
|-
| 0100
|-
| 0101
|-
| 0110
|-
| 0111
|}
|
{| cellpadding="2" style="background:lightcyan"
| ()
|-
| (u)(v)
|-
| (u) v
|-
| (u)
|-
| u (v)
|-
| (v)
|-
| (u, v)
|-
| (u v)
|}
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>0</sub>
|-
| f<sub>1</sub>
|-
| f<sub>2</sub>
|-
| f<sub>3</sub>
|-
| f<sub>4</sub>
|-
| f<sub>5</sub>
|-
| f<sub>6</sub>
|-
| f<sub>7</sub>
|}
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>0</sub>
|-
| f<sub>1</sub>
|-
| f<sub>2</sub>
|-
| f<sub>3</sub>
|-
| f<sub>4</sub>
|-
| f<sub>5</sub>
|-
| f<sub>6</sub>
|-
| f<sub>7</sub>
|}
|-
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>8</sub>
|-
| f<sub>9</sub>
|-
| f<sub>10</sub>
|-
| f<sub>11</sub>
|-
| f<sub>12</sub>
|-
| f<sub>13</sub>
|-
| f<sub>14</sub>
|-
| f<sub>15</sub>
|}
|
{| cellpadding="2" style="background:lightcyan"
| 1000
|-
| 1001
|-
| 1010
|-
| 1011
|-
| 1100
|-
| 1101
|-
| 1110
|-
| 1111
|}
|
{| cellpadding="2" style="background:lightcyan"
| u v
|-
| ((u, v))
|-
| v
|-
| (u (v))
|-
| u
|-
| ((u) v)
|-
| ((u)(v))
|-
| (())
|}
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>8</sub>
|-
| f<sub>9</sub>
|-
| f<sub>10</sub>
|-
| f<sub>11</sub>
|-
| f<sub>12</sub>
|-
| f<sub>13</sub>
|-
| f<sub>14</sub>
|-
| f<sub>15</sub>
|}
|
{| cellpadding="2" style="background:lightcyan"
| f<sub>8</sub>
|-
| f<sub>9</sub>
|-
| f<sub>10</sub>
|-
| f<sub>11</sub>
|-
| f<sub>12</sub>
|-
| f<sub>13</sub>
|-
| f<sub>14</sub>
|-
| f<sub>15</sub>
|}
|}
</font><br>
===Higher Order Propositions===
===Higher Order Propositions===