Part 1 of 2
The argument table below was developed with Logic.xla.
The table helps establish a proof for the problem shown below.

1.  Values below P and Q were created with Logic.xla's Truth Table command.
2.  Values below P Þ Q and Q Þ P were calculated with Logic.xla's IFTHEN function.
3. (P Þ Q) L (Q Þ P) values result from combining functions:
    Microsoft® Excel's AND function with Logic.xla's IFTHEN function.
4. Values below P Û Q were calculated with Logic.xla's IFOF function.

Click the problem to see the rest of the solution.