Construct the truth table for the propositions p, q and r using connectives such as conjunction, disjunction, exclusive or, conditional statement and bi-conditional of these propositions. Write a Mathematica program to evaluate any compound expressions with the specified input to produce its correct output.
Using Wolfram Mathematica Application.