Symbolic Logic
==============

.. toctree::
   :maxdepth: 2

   sage/logic/propcalc
   sage/logic/booleval
