Line 379: |
Line 379: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 401: |
Line 401: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| | <math>\texttt{(} a, b \texttt{)}</math> | | | <math>\texttt{(} a, b \texttt{)}</math> |
| | | | | |
Line 414: |
Line 414: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b \texttt{))}</math> | | | <math>\texttt{((} a, b \texttt{))}</math> |
| | | | | |
Line 427: |
Line 427: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
| | <math>\texttt{(} a, b, c \texttt{)}</math> | | | <math>\texttt{(} a, b, c \texttt{)}</math> |
| | | | | |
Line 438: |
Line 438: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 449: |
Line 449: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 504: |
Line 504: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | | | | |
Line 526: |
Line 526: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| | <math>\texttt{(} a, b \texttt{)}</math> | | | <math>\texttt{(} a, b \texttt{)}</math> |
| | | | | |
Line 539: |
Line 539: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b \texttt{))}</math> | | | <math>\texttt{((} a, b \texttt{))}</math> |
| | | | | |
Line 552: |
Line 552: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
| | <math>\texttt{(} a, b, c \texttt{)}</math> | | | <math>\texttt{(} a, b, c \texttt{)}</math> |
| | | | | |
Line 563: |
Line 563: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b, c \texttt{))}</math> | | | <math>\texttt{((} a, b, c \texttt{))}</math> |
| | | | | |
Line 574: |
Line 574: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|70px]] | + | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]] |
| | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> | | | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> |
| | | | | |
Line 621: |
Line 621: |
| | <math>a \lor b \lor c</math> | | | <math>a \lor b \lor c</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A)(B)(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)(} b \texttt{)(} c \texttt{))}</math> |
| | <math>a \lor b \lor c</math> | | | <math>a \lor b \lor c</math> |
Line 636: |
Line 636: |
| | <math>a \Rightarrow b</math> | | | <math>a \Rightarrow b</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B) Big.jpg|65px]] |
| | <math>\texttt{(} a, b \texttt{)}</math> | | | <math>\texttt{(} a, b \texttt{)}</math> |
| | <math>a \neq b</math> | | | <math>a \neq b</math> |
| | <math>a = b\!</math> | | | <math>a = b\!</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b \texttt{))}</math> | | | <math>\texttt{((} a, b \texttt{))}</math> |
| | <math>a = b\!</math> | | | <math>a = b\!</math> |
| | <math>a \neq b\!</math> | | | <math>a \neq b\!</math> |
| |- | | |- |
− | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|70px]] | + | | height="120px" | [[Image:Cactus (A,B,C) Big.jpg|65px]] |
| | <math>\texttt{(} a, b, c \texttt{)}</math> | | | <math>\texttt{(} a, b, c \texttt{)}</math> |
| | | | | |
Line 665: |
Line 665: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A),(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 684: |
Line 684: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus ((A,B,C)) Big.jpg|65px]] |
| | <math>\texttt{((} a, b, c \texttt{))}</math> | | | <math>\texttt{((} a, b, c \texttt{))}</math> |
| | | | | |
Line 703: |
Line 703: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|70px]] | + | | height="200px" | [[Image:Cactus (((A),(B),(C))) Big.jpg|65px]] |
| | <math>\texttt{(((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{)))}</math> | | | <math>\texttt{(((} a \texttt{)}, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{)))}</math> |
| | | | | |
Line 722: |
Line 722: |
| \end{matrix}</math> | | \end{matrix}</math> |
| |- | | |- |
− | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|70px]] | + | | height="160px" | [[Image:Cactus (A,(B),(C)) Big.jpg|65px]] |
| | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> | | | <math>\texttt{(} a, \texttt{(} b \texttt{)}, \texttt{(} c \texttt{))}</math> |
| | | | | |
Line 732: |
Line 732: |
| | | | | |
| |- | | |- |
− | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|70px]] | + | | height="200px" | [[Image:Cactus (((A),B,C)) Big.jpg|65px]] |
| | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> | | | <math>\texttt{(((} a \texttt{)}, b, c \texttt{))}</math> |
| | | | | |