[c++]

Determine which of the following equivalences are valid by evaluating both sides of the equivalence relation for every value of , , and as shown in the sample output.

(Use of the C++ Standard Template Library is prohibited in the implementation of this project)

1. (( ) ( ))

2. ( )

3. (( ) ( ))

4. ( ) ( )

Your program must compute the truth values on both sides of the equivalence operator and determine if, for each value of , , and , the expressions are equivalent

Output Specifications: Let be a mathematical symbol and let be the symbol that is displayed by project

P M P M P

* + ~

^ ->

= ==

Sample Output:

Equivalence: p->q === ~p+q

p q p->q <-> ~p+q

0 0 1 1 1

0 1 1 1 1

1 0 0 1 0

1 1 1 1 1

p->q is equivalent to ~p+q