Равносильные преобразования формул

Понятие равносильности. Подформула. Тавтология. Законы логики. Свойства основных связок.