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

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

при

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

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

Пример:

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

Пример:

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

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

Работа над текстовой задачей с использованием тетрадей с печатной основой
Подготовительная работа к знакомству с задачей строится с учётом особенностей мышления младшего школьника, а они таковы, что для выполнения операций в умственном плане он должен сначала овладеть ею в предметном (материализованном). Для этой цели можно использовать различные практические упражнения ...

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

Особенности формирования сенсорных эталонов у дошкольников с интеллектуальной недостаточностью
У детей - олигофренов со значительным опозданием формируется умение выделять цвет как признак предмета (некоторые из них не умеют этого делать даже в начале младшего школьного возраста), им трудно усвоить названия даже основных цветов (красный, синий, зеленый, желтый, коричневый, черный, белый). Он ...