Содержимое раздела
В этом разделе будут рассмотрены основные понятия логики высказываний, в том числе логические операции (конъюнкция, дизъюнкция, отрицание, импликация, эквиваленция), таблицы истинности и законы логики (законы де Моргана, дистрибутивности, двойного отрицания, тождества). Будет представлен формальный аппарат логики высказываний, необходимый для разработки алгоритма автоматического преобразования выражений. Особое внимание будет уделено тем законам и правилам, которые часто используются при решении задач ЕГЭ по информатике.