Equivalence Rules for Sentential Logic - dummies