Логические формулы и функции. Формулы алгебры логики высказываний. равносильность формул. законы логики высказываний. основные законы логики высказываний с доказательством. формулы логики высказываний законы логики.