На канале представлено несколько лекций, в которых показаны операции над высказываниями, а также представлено, как изобразить таблицу истинности для сложных высказываний. С использованием вопросно-ответной системы Wolfram|Alpha имеется возможность построения таблицы истинности для сложных высказываний. Приведём несколько примеров. Для этого необходимо зайти на главную форму Wolfram|Alpha по ссылке: https://www.wolframalpha.com/ и в командную строку внести команду с формулой логики высказываний, например, введём команду: (x or y) xor (y xor not x)...