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>
|
|