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

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

при

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

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

Пример:

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

Пример:

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

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

Сценарий обрядовой Русской свадьбы
Молодых встречает фольклорный ансамбль и сваха. Сваха: Подплывает лебедь белая К Марии в беседу, съезжаются гости. У ворот на ёлке, у ворот на ёлке Слетаются пчёлки, слетаются пчёлки. Посмотреть, как Мария на свадьбу снаряжается. Фольклорный коллектив девушки уводят невесту от жениха, юноши уводят ...

Суть метода Video-English
Простой факт: ученик никогда не научится понимать английскую речь, если не будет упорно тренироваться. Ему нужно слушать, как говорят носители языка, и ему нужно учиться их понимать. Если он мечтает владеть английским языком, как своим родным, выбора у него просто нет. Метод Video-English основан и ...

Количественные методы в педагогике
Качественное и количественное в явлениях окружающего мира неразрывно связаны; поэтому качественные и количественные характеристики педагогических явлений надо изучать в единстве. Необходимо различать два основных направления в использовании количественных методов в педагогике: первое – обработка ре ...