Line 3,859: |
Line 3,859: |
| |+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math> | | |+ <math>\text{Table A1.}~~\text{Propositional Forms on Two Variables}</math> |
| |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_1</math></p> | | <p><math>\mathcal{L}_1</math></p> |
| <p><math>\text{Decimal}</math></p> | | <p><math>\text{Decimal}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_2</math></p> | | <p><math>\mathcal{L}_2</math></p> |
| <p><math>\text{Binary}</math></p> | | <p><math>\text{Binary}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_3</math></p> | | <p><math>\mathcal{L}_3</math></p> |
| <p><math>\text{Vector}</math></p> | | <p><math>\text{Vector}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_4</math></p> | | <p><math>\mathcal{L}_4</math></p> |
| <p><math>\text{Cactus}</math></p> | | <p><math>\text{Cactus}</math></p> |
− | | style="width:25%" | | + | | width="25%" | |
| <p><math>\mathcal{L}_5</math></p> | | <p><math>\mathcal{L}_5</math></p> |
| <p><math>\text{English}</math></p> | | <p><math>\text{English}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_6</math></p> | | <p><math>\mathcal{L}_6</math></p> |
| <p><math>\text{Ordinary}</math></p> | | <p><math>\text{Ordinary}</math></p> |
Line 4,116: |
Line 4,116: |
| |+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math> | | |+ <math>\text{Table A2.}~~\text{Propositional Forms on Two Variables}</math> |
| |- style="background:#f0f0ff" | | |- style="background:#f0f0ff" |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_1</math></p> | | <p><math>\mathcal{L}_1</math></p> |
| <p><math>\text{Decimal}</math></p> | | <p><math>\text{Decimal}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_2</math></p> | | <p><math>\mathcal{L}_2</math></p> |
| <p><math>\text{Binary}</math></p> | | <p><math>\text{Binary}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_3</math></p> | | <p><math>\mathcal{L}_3</math></p> |
| <p><math>\text{Vector}</math></p> | | <p><math>\text{Vector}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_4</math></p> | | <p><math>\mathcal{L}_4</math></p> |
| <p><math>\text{Cactus}</math></p> | | <p><math>\text{Cactus}</math></p> |
− | | style="width:25%" | | + | | width="25%" | |
| <p><math>\mathcal{L}_5</math></p> | | <p><math>\mathcal{L}_5</math></p> |
| <p><math>\text{English}</math></p> | | <p><math>\text{English}</math></p> |
− | | style="width:15%" | | + | | width="15%" | |
| <p><math>\mathcal{L}_6</math></p> | | <p><math>\mathcal{L}_6</math></p> |
| <p><math>\text{Ordinary}</math></p> | | <p><math>\text{Ordinary}</math></p> |