Логические операции – действия, в результате которых существующие понятия изменяются либо образуются новые. Рассмотрим их основные признаки. Конъюнкция Выражение также называют логическим умножением. Его истинность сохраняется только в одном случае: при истинности простых выражений в его составе. В обратном случае выражение принимает значение ложного. Главные ее свойства: · При ложности хотя бы одного выражения все сложное выражение будет ложным. · При истинности всех простых выражений сложное выражение является истинным...

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