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

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

при

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

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

Пример:

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

Пример:

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

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

Научно-исследовательская практика
Цели и задачи практики. Цель практики – проведение исследований по предметной области, определяемой темой магистерской диссертации, ориентация на рынке труда, оценка готовности выступать в роли системного аналитика в конкретных видах деятельности: научных исследований в сфере информатики и вычислит ...

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

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