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

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

при

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

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

Пример:

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

Пример:

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

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

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

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

Классификация видов учебной литературы
Учебная литература является источником знаний и средством обучения учащихся в условиях определенной системы образования. Учебные планы и учебные программы (примерные, рабочие) составляют группу программно-методических изданий. Методические указания, рекомендации составляют группу учебно-методически ...