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

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

при

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

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

Пример:

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

Пример:

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

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

Особенности развития речи детей с нарушениями слуха
Глухие дети, не имеющие дополнительных нарушений, к 6—7 годам достигают психического развития, по ряду показателей близкого к нормальному. Они хорошо владеют произвольной деятельностью, направленной на выполнение тех заданий, которые предлагает им взрослый и которые требуют от них сосредоточия вним ...

Юридическое образование
Юридическое образование — система правовых знаний, взглядов, убеждений как результат обучения и самообразования личности з области юриспруденции, которые формируют ее как гражданина, способного к профессионально-правовой деятельности Юридическое образование базируется на органической интеграции с ю ...

Формы организации учебного процесса
Все формы организации процесса обучения делятся на общие и конкретные. Общие формы не зависят от конкретных дидактических задач и определяются только структурой общения между обучающимися и обучаемыми. Таких форм 4: индивидуальная, парная, групповая, коллективная. Обучение – это общение между обуча ...