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

Достаточно часто на практике необходимо произвести переход в другой базис. Попробуем разобраться в этом вопросе. В данных задачах обычно нам даны два базиса, по которым требуется построить матрицу перехода. Пусть e=(e1,e2,...,en) базис, из которого необходимо сделать переход в базис f=(f1,f2,...,fn). Алгоритм будет примерно такой: 1) Выразить вектора базиса f через вектора e 2) Написать коэффициенты разложения векторов f в матрицу по столбцам...