Логика высказываний, называемая также пропозициональной логикой - раздел математики и логики, изучающий логические формы сложных высказываний, построенных из простых или элементарных высказываний с помощью логических операций. Высказываниями принято считать такие предложения (написанные на "словесном" либо математическом языке), о которых можно сказать одно из двух: либо они являются истинными, либо ложными. С математическими высказываний проще всего: они всегда имеют либо значение "истина", либо значение "ложь"...

Третье задание в ОГЭ по информатики состоит в том, что нужно найти значение логического выражения. Здесь необходимы знания логических операций. К счастью, на экзамене в задания включены только три логические операции: логическое сложение (или), логическое умножение (и) и отрицание (не)...