Нам всем знакомы понятия "логичный", "нелогичный", "истина", "ложь", "сомнение". Мы отлично знаем, что такое "одно ИЛИ другое", "одно И другое", "НЕ то". Мы используем эти понятия в нашей обычной повседневной жизни. Но не все догадываются, что тем самым мы занимаемся математикой и философией. Более того, математика и философия являются важнейшей основой таких современных информатики и вычислительной техники. Так что садясь за компьютер или беря в руки смартфон мы пользуемся и трудами философов древней...

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