
  %-------------------------------------------------%
  \subsubsection{\texttt{http://www.openmath.org/cd/logic1.ocd}} 
  
  This CD holds the basic logic functions. 

\begin{tabular}{|l|r|r|}
\hline
  \symbolrow{logic1:equivalent}{application}{} \\ 
\hline
  \symbolrow{logic1:not}{application}{} \\ 
\hline
  \symbolrow{logic1:and}{application}{} \\ 
\hline
  \symbolrow{logic1:xor}{application}{} \\ 
\hline
  \symbolrow{logic1:or}{application}{} \\ 
\hline
  \symbolrow{logic1:implies}{application}{} \\ 
\hline
  \symbolrow{logic1:true}{constant}{} \\ 
\hline
  \symbolrow{logic1:false}{constant}{} \\ 
\hline
  
\end{tabular}
