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

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

при

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

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

Пример:

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

Пример:

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

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

Анализ программы модернизации системы образования городского округа Власиха Московской области
Очевидно, что наше будущее целиком зависит от того, насколько мы готовы к инновациям, какие научные, творческие, духовные и материальные вложения в создание "новой" России мы сделаем сегодня. Именно поэтому современная политика государства направлена на проведение масштабных, системных из ...

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

Методика психолого-педагогического обследования детей 6-7 лет
Диагностический комплекс включает 2 теста: Работа с парными картинками (выбор по образцу). Метод № 1.Разбор и складывание пирамиды Цель: изучение зрительного соотнесения предметов. Диагностическое оборудование: Пирамида с разноцветными кольцами различного диаметра. Процедура проведения: Методика пр ...