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

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

при

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

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

Пример:

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

Пример:

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

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

Технологическая практика
Цели и задачи практики. Цель практики – закрепление и расширение теоретических знаний, полученных при изучении специальных дисциплин, расширения технического кругозора студентов; длительное ознакомление с производством; воспитание у будущих инженеров чувства уважения к производственному труду рабоч ...

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

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