12,089
edits
Changes
→New Versions
<br>
<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:#f8f8ff; font-weight:bold; text-align:center; width:90%"
|+ '''Table 1. Propositional Forms on Two Variables'''
|+ '''Table 1. Propositional Forms on Two Variables'''
|- style="background:paleturquoise"
|- style="background:#f0f0ff"
! style="width:15%" | L<sub>1</sub>
! width="15%" | L<sub>1</sub>
! style="width:15%" | L<sub>2</sub>
! width="15%" | L<sub>2</sub>
! style="width:15%" | L<sub>3</sub>
! width="15%" | L<sub>3</sub>
! style="width:15%" | L<sub>4</sub>
! width="15%" | L<sub>4</sub>
! style="width:25%" | L<sub>5</sub>
! width="25%" | L<sub>5</sub>
! style="width:15%" | L<sub>6</sub>
! width="15%" | L<sub>6</sub>
|- style="background:paleturquoise"
|- style="background:#f0f0ff"
|
|
| align="right" | x :
| align="right" | x :
|
|
|
|
|- style="background:paleturquoise"
|- style="background:#f0f0ff"
|
|
| align="right" | y :
| align="right" | y :
|
|
|-
|-
| f<sub>0</sub> || f<sub>0000</sub> || 0 0 0 0 || ( ) || false || 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>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>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>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>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>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>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>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>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>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>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>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>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>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>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
| f<sub>15</sub>
| f<sub>1111</sub>
| 1 1 1 1
| (( ))
| true || 1
|}
|}