"The connection between logic, proofs and programming is a very rich and interesting field that goes far byond the scope of an introductory course in discrete mathematics. But instead of illustrating ...

You should have a column for each of the two operators. So it will have 5 columns total. This is a more compact form for the table as we write the truth values for subexpressions underneath the ...