4.4 Формулы общезначимые, выполнимые, логически эквивалентные