Пример 2: Вычислить значение функции:
при
Подобно алгебраическим выражениям большие составные логические формулы во многих случаях могут быть упрощены, то есть приведены к равносильным.
Две формулы А и В будем называть равносильными (А=В или ), если они имеют одинаковые таблицы истинности. Будем считать две таблицы истинности одинаковыми, если у них одинаковые последние (результирующие) столбцы.
Пример:
x |
y |
|
|
0 |
0 |
1 |
1 |
0 |
1 |
1 |
1 |
1 |
0 |
0 |
0 |
1 |
1 |
1 |
1 |
В логике высказываний будем считать, что равносильные формулы задают одно и то же высказывание. Может оказаться, что в последнем столбце таблицы истинности стоят одни единицы или нули. Будем называть такое высказывание тождественно-истинным (тавтологией) соответственно тождественно-ложным (противоречием) и обозначать 1 и 0. Из определения следует, что для проверки равносильности формул нужно построить их таблицы истинности и сравнить
Пример:
Формулы и
являются тождественно-истинными
х |
у |
|
| ||||
1 |
1 |
1 |
1 | ||||
1 |
0 |
1 |
1 | ||||
0 |
1 |
0 |
1 | ||||
0 |
0 |
1 |
1 | ||||
|
|
| |||||
1 |
0 |
1 | |||||
1 |
0 |
1 | |||||
0 |
1 |
1 | |||||
0 |
1 |
1 | |||||
Статьи по теме:
Дидактический материал для развития речи детей с нарушением интеллекта
Артикуляционная гимнастика – это выполнение специально подобранных упражнений подвижными органами (губами, нижней челюстью, языком) с целью тренировки и совершенствования их мышц. Пассивные упражнения. • Растягивание губ в улыбку одним – двумя пальцами снизу или сверху; • Собирание губ трубочкой; У ...
Анализ различных подходов к исследованию самостоятельной деятельности
учащихся в процессе обучения
Проблема самостоятельной деятельности учащихся и средств ее организации в структуре урока имеет свою богатую историю и свои традиции в теоретическом освещении и реализации ее основных положений в практике работы школы. Первое направление начинается с глубокой древности. Его представителями можно сч ...
Проектирование реализации психолого-педагогических условий по
формированию экологических представлений у детей 5-6 лет на основе моделирования
Цель формирующего эксперимента – экспериментально проверить педагогические условия формирования экологических представлений у детей старшего дошкольного возраста посредством моделирования. В ходе целенаправленной, планомерной и систематической работы у дошкольников произойдут качественные изменения ...