[Solved] MATH318 Program 3

We have the following tautology from De Morgans 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.