In any logic system, you compare statements to prove or disprove their validity. With sentential logic, you use the following equivalence rules to make those comparisons:

image0.jpg