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

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

при

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

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

Пример:

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

Пример:

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

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

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

Опыт организации юннатского движения в ряде ЭБЦу российских регионов
В данной главе мы приводим сведения о работе некоторых станций юннатов и эколого-биологических центров учащихся, полученные на основе проработки информационных материалов (отчетов СЮН и ЭБЦу, работ учащихся на Всероссийских итоговых мероприятиях). Как показывает практика, изменились приоритеты в на ...

Учебник, его функции и структура
Из всех видов учебной литературы важнейшим является учебник. Рассмотрим его более подробно. Учебник – жанр научной литературы, средство обучения, предназначенное для усвоения системы знаний и умений по конкретному предмету. Материал учебника организован таким образом, чтобы обучаемый имел возможнос ...