sympy/sympy — pull request #907 by SgtMook (2011-12-29 22:12:23+00:00)
Title: Improved doctest coverage for the logic module.

Improved doctest coverage for the logic module.

Added docstrings and doctests where applicable.
GCI Task: http://www.google-melange.com/gci/task/view/google/gci2011/7233306