Changes

2,634 bytes added ,  19:51, 30 May 2007
Line 551: Line 551:     
==Logical Tables==
 
==Logical Tables==
 +
 +
===Table Templates===
 +
 +
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
 +
|+ Table 1.  Two Variable Template
 +
|- style="background:paleturquoise"
 +
|
 +
{| align="right" style="background:paleturquoise; text-align:right"
 +
| u :
 +
|-
 +
| v :
 +
|}
 +
|
 +
{| style="background:paleturquoise"
 +
| 1 1 0 0
 +
|-
 +
| 1 0 1 0
 +
|}
 +
|
 +
{| 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"
 +
| 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>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"
 +
| 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>
 +
|}
 +
|
 +
{| 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>
 +
|}
 +
|}
 +
<br>
    
===Higher Order Propositions===
 
===Higher Order Propositions===
12,080

edits