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

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

при

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

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

Пример:

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

Пример:

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

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

Особенности межличностных отношении подростков
Межличностные отношения детей на протяжении всего периода их пребывания в школе развиваются и совершенствуются. С приходом в школу отмечается уменьшение коллективных связей и взаимоотношений между детьми по сравнению с подготовительной группой детского сада. Это объясняется новизной коллектива и но ...

Сущность понятий «знания», «умения», «навыки»
Формирование личности человека - это последовательное изменение и усложнение системы отношений к окружающему миру, природе, труду, другим людям и к себе. Оно происходит на протяжении всей его жизни. Особенно важен при этом детский и юношеский возраст. Развитие человека как личности осуществляется в ...

Традиционно-педагогические методы изучения педагогической действительности
Традиционными принято называть методы, доставшиеся современной педагогике по наследству от исследователей, стоявших у истоков педагогической науки. Это методы, которыми пользовались Платон и Квинтилиан, Коменский и Песталоцци; применяются они в науке и поныне. К традиционным методам педагогических ...