We have already had some informal exposure to logic through the Python operators and,or,not. In this section we formalize the notions underlying these operators and implement in Python a propositional (Boolean) algebra that is similar in many ways to ordinary algebra. The functions in the chapter comprise the module Logic.py. Here is the header for the module.