We have the following tautology from De Morgan’s Laws:
Prove the tautology by using your program to construct the lexicographical possible truth values for p and q.  Then create intermediate columns for binary operations such as   and then   using the “and”, “or”, and “not” operators in python and your functions for implies and if and only if your created in program 2.    End with the binomial operation of (left side of equation) if and only if (right side of equation).   An example of what your output might look like is shown below.
