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

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

при

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

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

Пример:

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

Пример:

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

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

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

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

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