Пример 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 | |||||
Статьи по теме:
Особенности личностно-ориентированного подхода к процессу музыкального
образования и воспитания в условиях программы "Мир музыки"
В современной технократической цивилизации музыкальное образование отодвигается на второстепенный план. Между тем, новые достижения педагогики и психологии доказали важнейшую роль музыкальных занятий не только в эстетическом, но и в интеллектуальном развитии детей. Чтобы стать личностью, человеку н ...
Физическая культура и спорт в профилактике заболеваний и укреплении здоровья
здоровье физический культура учащийся Регулярные занятия физической культурой благоприятно влияют на здоровье и физическое состояние человека. Занятия способствуют также профилактике заболеваний, которые могут развиться в старшем возрасте. Во все времена была известна польза физической культуры. Пр ...
Цель, задачи, содержание, выводы контрольного этапа исследования
Контрольный этап исследования проводился в апреле 2012 года. Целью данного этапа было выявление педагогических условий, необходимых для успешного формирования представлений о цвете. Исходя из цели были поставлены задачи: 1) Выявить уровень сформированности представлений о цвете у детей третьего год ...