The goal of this problem is to disprove a logical equivalence programmatically. Write a Python program that prints a complete truth table for $($a b$)($c d$)$ and $($a $($b c$))$ d$,$ and marks the rows where the two statements have different truth values. You have to build the truth table from scratch.