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

При словосочетании «математическая логика» нам представляется что-то очень абстрактное и далёкое от реальной жизни: сложные формулы, теоремы, символы, понятные лишь узкому кругу учёных. На самом же деле, это не что-то запредельное, а мощный инструмент, который мы используем каждый день. Давайте разберёмся, что это такое и как она может сделать нашу жизнь проще, понятнее и эффективнее. Если отбросить строгие академические определения, математическая логика — это, по сути, наука о правильном рассуждении...