В лекции [https://zen.yandex.ru/media/id/603a418d1684900aa2499416/vozmojnosti-wolframalpha-dlia-logiki-vyskazyvanii-62425b1063dc376f1cb81248] показана возможность построения таблиц истинности для формул логики высказываний в вопросно-ответной системе Wolfram|Alpha. Однако это не единственная функциональность этой вопросно-ответной системы Wolfram|Alpha для логики высказываний. Рассмотрим следующее Упражнение. Для заданной формулы необходимо: 1) преобразовать заданную формулу таким образом, чтобы отрицание не навешивалось над другими операциями...

Начну прежде всего с того, что иногда слышу как знакомые, у которых дети сейчас учатся в школе начинают жаловаться зачем ребенку учить такую сложную алгебру. Я в ответ улыбаюсь и говорю, что же там сложного. Вы сложного еще не видели. И на самом деле, школа лишь дает "вычислительную азбуку", с которой потом и начинается высшая математика. На мой взгляд после школы большинство из нас понимает как работать со статическими процессами. Динамические и волновые, а также ряд других процессов изучаются в высшей школе...