| Line 34: |
Line 34: |
| | ===PNG=== | | ===PNG=== |
| | | | |
| − | {| align="center" ccellpadding="10" cellspacing="0" style="text-align:center" | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | | style="height:25px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math> | | | style="height:25px; font-size:large" | <math>\text{Algorithmic Translation Rules}</math> |
| | |- | | |- |
| Line 81: |
Line 81: |
| | ===PNG=== | | ===PNG=== |
| | | | |
| − | {| align="center" ccellpadding="10" cellspacing="0" style="text-align:center" | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | | style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Functional Form}</math> | | | style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Functional Form}</math> |
| | |- | | |- |
| Line 147: |
Line 147: |
| | ===PNG=== | | ===PNG=== |
| | | | |
| − | {| align="center" ccellpadding="10" cellspacing="0" style="text-align:center" | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | | style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Equational Form}</math> | | | style="height:25px; font-size:large" | <math>\text{Semantic Translation}</math> • <math>\text{Equational Form}</math> |
| | |- | | |- |
| Line 213: |
Line 213: |
| | ===PNG=== | | ===PNG=== |
| | | | |
| − | {| align="center" cellpadding="10" cellspacing="0" style="text-align:center" | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | |+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on Zero Variables}</math> | | |+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on Zero Variables}</math> |
| | |- | | |- |
| − | | [[File:Boolean Functions on Zero Variables.png|600px]] | + | | [[File:Boolean Functions on Zero Variables • Truth Table.png|600px]] |
| | |} | | |} |
| | | | |
| Line 243: |
Line 243: |
| | | | |
| | ===PNG=== | | ===PNG=== |
| | + | |
| | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | + | |+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on One Variable}</math> |
| | + | |- |
| | + | | [[File:Boolean Functions on One Variable • Truth Table.png|600px]] |
| | + | |} |
| | | | |
| | ===LaTeX=== | | ===LaTeX=== |
| Line 290: |
Line 296: |
| | | | |
| | ===PNG=== | | ===PNG=== |
| | + | |
| | + | {| align="center" cellpadding="0" cellspacing="0" style="text-align:center" |
| | + | |+ style="height:25px; font-size:large" | <math>\text{Boolean Functions on Two Variables}</math> |
| | + | |- |
| | + | | [[File:Boolean Functions on Two Variables • Truth Table.png|600px]] |
| | + | |} |
| | | | |
| | ===LaTeX=== | | ===LaTeX=== |