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.