12,089
edits
Changes
→Wiki Tables: reorganize
</pre>
</pre>
===Wiki Tables===
===Wiki Tables : New Versions===
====New Versions====
====Propositional Forms on Two Variables====
<br>
<br>
| true
| true
| 1
| 1
|}
|}
<br>
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
|+ '''Table 14. Differential Propositions'''
|+ '''Table 14. Differential Propositions'''
|- style="background:ghostwhite"
|- style="background:#f0f0ff"
|
|
| align="right" | A :
| align="right" | A :
|
|
|
|
|- style="background:ghostwhite"
|- style="background:#f0f0ff"
|
|
| align="right" | dA :
| align="right" | dA :
|
|
¬A ∨ ¬dA<br>
¬A ∨ ¬dA<br>
A → dA<br>
A ⇒ dA<br>
A ← dA<br>
A ⇐ dA<br>
A ∨ dA
A ∨ dA
|}
|}
<br>
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="background:#f8f8ff; font-weight:bold; text-align:center; width:90%"
===Wiki Tables : Old Versions===
====Propositional Forms on Two Variables====
<br>
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:90%"
|+ '''Table 1. Propositional Forms on Two Variables'''
|- style="background:paleturquoise"
! style="width:15%" | L<sub>1</sub>
! style="width:15%" | L<sub>2</sub>
! style="width:15%" | L<sub>3</sub>
! style="width:15%" | L<sub>4</sub>
! style="width:25%" | L<sub>5</sub>
! style="width:15%" | L<sub>6</sub>
|- style="background:paleturquoise"
|
| align="right" | x :
| 1 1 0 0
|
|
|
|- style="background:paleturquoise"
|
| align="right" | y :
| 1 0 1 0
|
|
|
|-
| f<sub>0</sub> || f<sub>0000</sub> || 0 0 0 0 || ( ) || false || 0
|-
| f<sub>1</sub> || f<sub>0001</sub> || 0 0 0 1 || (x)(y) || neither x nor y || ¬x ∧ ¬y
|-
| f<sub>2</sub> || f<sub>0010</sub> || 0 0 1 0 || (x) y || y and not x || ¬x ∧ y
|-
| f<sub>3</sub> || f<sub>0011</sub> || 0 0 1 1 || (x) || not x || ¬x
|-
| f<sub>4</sub> || f<sub>0100</sub> || 0 1 0 0 || x (y) || x and not y || x ∧ ¬y
|-
| f<sub>5</sub> || f<sub>0101</sub> || 0 1 0 1 || (y) || not y || ¬y
|-
| f<sub>6</sub> || f<sub>0110</sub> || 0 1 1 0 || (x, y) || x not equal to y || x ≠ y
|-
| f<sub>7</sub> || f<sub>0111</sub> || 0 1 1 1 || (x y) || not both x and y || ¬x ∨ ¬y
|-
| f<sub>8</sub> || f<sub>1000</sub> || 1 0 0 0 || x y || x and y || x ∧ y
|-
| f<sub>9</sub> || f<sub>1001</sub> || 1 0 0 1 || ((x, y)) || x equal to y || x = y
|-
| f<sub>10</sub> || f<sub>1010</sub> || 1 0 1 0 || y || y || y
|-
| f<sub>11</sub> || f<sub>1011</sub> || 1 0 1 1 || (x (y)) || not x without y || x → y
|-
| f<sub>12</sub> || f<sub>1100</sub> || 1 1 0 0 || x || x || x
|-
| f<sub>13</sub> || f<sub>1101</sub> || 1 1 0 1 || ((x) y) || not y without x || x ← y
|-
| f<sub>14</sub> || f<sub>1110</sub> || 1 1 1 0 || ((x)(y)) || x or y || x ∨ y
|-
| f<sub>15</sub> || f<sub>1111</sub> || 1 1 1 1 || (( )) || true || 1
|}
<br>
====Differential Propositions====
<br>
{| align="center" border="1" cellpadding="6" cellspacing="0" style="font-weight:bold; text-align:center; width:90%"
|+ '''Table 14. Differential Propositions'''
|+ '''Table 14. Differential Propositions'''
|- style="background:#f0f0ff"
|- style="background:ghostwhite"
|
|
| align="right" | A :
| align="right" | A :
|
|
|
|
|- style="background:#f0f0ff"
|- style="background:ghostwhite"
|
|
| align="right" | dA :
| align="right" | dA :
|
|
¬A ∨ ¬dA<br>
¬A ∨ ¬dA<br>
A ⇒ dA<br>
A → dA<br>
A ⇐ dA<br>
A ← dA<br>
A ∨ dA
A ∨ dA
|}
|}