Тавтология алгебры высказываний. Основные эквивалентности математическая логика. Основные законы эквивалентности логики высказываний. Основные тавтологии логики высказываний. Тавтологии алгебры высказываний. Закон контрапозиции. Высказывание в математической логике