12,080
edits
Changes
MyWikiBiz, Author Your Legacy — Friday November 29, 2024
Jump to navigationJump to search→Table 60. Propositional Transformation
<font face="courier new">
<font face="courier new">
{| align="center" border="1" cellpadding="0" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
{| align="center" border="1" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:96%"
|+ '''Table 22. Disjunction ''f'' and Equality ''g'' '''
|+ '''Table 60. Propositional Transformation'''
|
|- style="background:paleturquoise"
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
| width="25%" | ''u''
| ''u'' || ''v''
| width="25%" | ''v''
| width="25%" | ''f''
| width="25%" | ''g''
|-
| width="25%" |
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
| 0
|-
| 1
|-
| 1
|}
|}
|
| width="25%" |
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:paleturquoise; font-weight:bold; text-align:center; width:100%"
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| ''f'' || ''g''
| 0
|-
| 1
|-
| 0
|-
| 1
|}
|}
| width="25%" |
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 0
|-
|-
| 1
|-
|-
| 1 || 0
| 1
|-
|-
| 1
|}
|}
|
| width="25%" |
{| align="center" border="0" cellpadding="6" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
{| align="center" border="0" cellpadding="4" cellspacing="0" style="background:lightcyan; font-weight:bold; text-align:center; width:100%"
| 1
|-
|-
| 0
|-
|-
| 0
|-
|-
| 1
|}
|}
|-
| width="25%" |
| width="25%" |
| width="25%" | ((''u'')(''v''))
| width="25%" | ((''u'', ''v''))
|}
|}
</font><br>
</font><br>
