Simplification
Premise. P & Q
Conclusion. P
Premise. P & Q
Conclusion. Q
Converted by
Mathematica
October 4, 2001