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