Формы записи высказываний. Алгоритмические способы решения логических задач
Пример 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 | |||||
Статьи по теме:
Классификация видов учебной литературы
Учебная литература является источником знаний и средством обучения учащихся в условиях определенной системы образования. Учебные планы и учебные программы (примерные, рабочие) составляют группу программно-методических изданий. Методические указания, рекомендации составляют группу учебно-методически ...
Методические рекомендации по изучению раздела «кулинария» с применением
информационных технологий
Сырники - это вкусное и популярное блюдо из творога. Помимо творога для приготовления сырников используют яйца, муку и сахар, затем придают форму небольшой лепёшки и обжаривают с двух сторон на сковородке, запекают в духовке или отваривают. Почему сырники получили такое название? Ведь их делают не ...
Особенности социально-экономического развития и политического положения
Восточной Сибири в конце XIX - начале ХХ вв
Проводимые Россией реформы 60-70-х гг. XIX в. начали оказывать все возрастающее влияние на социально- экономическое и культурное развитие Восточной Сибири. Отсутствие помещичьего землевладения способствовало росту капитализма в сельском хозяйстве Сибири, но остававшиеся в нем докапиталистические пе ...
Навигация
- Главная
- Методы исследования в педагогике
- Технология визуализации учебной информации
- Развитие связной речи у дошкольника
- Патриотическое воспитание младших школьников
- Межличностные отношения в детской группе
- Психическое развитие детей
- Аналитическое образование