Write a C++ program

for the first one Write a prograom to build a truth table to verify that the proposition (pq) ^(~p^q) is a contradiction

1.

1. Build a truth table to verify that the proposition (p q)^(+pAq) is a contradiction. 2. Let p(x) denote the statement n(n+1)= 1 Write a program that determines if each of the following statements is true. a. P(2)