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

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

при

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

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

Пример:

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

Пример:

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

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

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

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

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