Эта тема в школьной информатике и математике (у некоторых она там) одна из самых "мутных", как мне кажется. Всё же, есть в омуте и добрые черти. Давайте немного поразбираемся во всём этом. Классические алгоритмы А таковых нет. Для нас пока нет. Есть таблицы истинности, законы алгебры логики, и многое другое. А почему так? Дело, как мне видится, в бесконечности вариантов, о которой я писал ранее. Алгебра логики, что приятно, относится не к обычной математике, а к дискретной, более того, в ней очень мало чисел...

В информатике существует раздел алгебры логики, ключевыми объектами которого являются высказывания. Высказывания всегда можно однозначно определить как истинное или ложное. Высказываниям присваиваются буквы (логические переменные) и значения, если высказывание истинное, то значение переменной равно 1, в противном случае 0. С помощью логических операций строятся составные (сложные) высказывания. Существуют 3 основные логические операции: конъюнкция, дизъюнкция, инверсия. Для большей понятности и наглядности...