This is a C++ program.

Write a program that produces the truth table for the following compound propositions. Write the header(s) of the table(s), including intermediate steps and the final result. Output the result on the file_prog2 output.txt.

(d) (p -> q) <-> (neg q -> neg p)

(e) (p or q) and neg (p and q)

(f) p and neg p

..............................................

file_prog2 output.txt

p q (p->q) (!q -> !p) (p->q) <-> (!q -> !p) T T T T T T F F T T F T T F T F F T T T ======================================================================= p q (p V q) !(q /\ p) (p V q) /\ !(q /\ p) T T T F F T F T T T F T T T T F F F T F ======================================================================= p !p p /\ !p T F F T F F F T F F T F =======================================================================