C++

Please read the question and instructions carefully.

Make sure the truth table outputs 'T' and 'F' not 0s and 1s. Do not hard code truth tables. The program must use binary or bitwase operators to compute the results.

Question: Write a program that produces truth table for the following compound proposition and decide if it is a Satisfiable or Unsatisfiable 1. ( p r ) ( q r ) (p q r ) 2. (p q) (p q)