Формы записи высказываний. Алгоритмические способы решения логических задач

Пример 2: Вычислить значение функции:

при

Подобно алгебраическим выражениям большие составные логические формулы во многих случаях могут быть упрощены, то есть приведены к равносильным.

Две формулы А и В будем называть равносильными (А=В или ), если они имеют одинаковые таблицы истинности. Будем считать две таблицы истинности одинаковыми, если у них одинаковые последние (результирующие) столбцы.

Пример:

В логике высказываний будем считать, что равносильные формулы задают одно и то же высказывание. Может оказаться, что в последнем столбце таблицы истинности стоят одни единицы или нули. Будем называть такое высказывание тождественно-истинным (тавтологией) соответственно тождественно-ложным (противоречием) и обозначать 1 и 0. Из определения следует, что для проверки равносильности формул нужно построить их таблицы истинности и сравнить

Пример:

Формулы и являются тождественно-истинными

Статьи по теме:

Воспитательно-образовательное значение экскурсий в природу
Природа представляет все необходимое для нашего существования: и воздух, и воду, и пищу, и одежду, и кров, и многое другое. Но вместе с тем природа, как добрая мать, выступает перед нами еще в одной роли, которую часто недооценивают: она – наша учительница и воспитательница. Она влияет на наше духо ...

Особенности урока иностранного языка
У урока иностранного языка своя специфика, которую учитель иностранного языка не может не учитывать. В настоящее время глобальной целью овладения иностранным языком считается приобщение к иной культуре и участие в диалоге культур. Эта цель достигается путем формирования способности к межкультурной ...

Проектирование реализации психолого-педагогических условий по формированию экологических представлений у детей 5-6 лет на основе моделирования
Цель формирующего эксперимента – экспериментально проверить педагогические условия формирования экологических представлений у детей старшего дошкольного возраста посредством моделирования. В ходе целенаправленной, планомерной и систематической работы у дошкольников произойдут качественные изменения ...