Равносильные преобразования формул В отличие от табличного задания представление функции формулой не ед
Работа добавлена на сайт samzan.net:
28вопр. Равносильные преобразования формул
В отличие от табличного задания представление функции формулой не единственно. Например, две различные формулы
x1Vx2 и (x1&x2)
реализуют одну функцию – штрих Шеффера.
Две формулы, реализующие одну и ту же функцию, называются равносильными.
Равносильность формул A и B будем обозначать следующтм образом: A B.
Для того, чтобы установить равносильность формул, можно составить таблицы значений функции для каждой формулы и сравнить их. Для равносильных формул эти таблицы совпадают. Другой способ установления равносильности формул заключается в использовании некоторых установленных равносильностей булевых формул.
29 вопрос.Осн.равносильности Булевых формул. Коммутативность. Ассоциативность. Дистрибутивность.
1. Коммутативность.
а) A&B B&A (для конъюнкции);
б) AVB BVA (для дизъюнкции).
2. Ассоциативность.
а) A&(B&C) (A&C)&C (для конъюнкции);
б) AV(BVC) (AVB)VC (для дизъюнкции).
3. Дистрибутивность.
а) A&(BVC) A&BVA&C (для конъюнкции относительно дизъюнкции);
б) AV(B&C) (AVB)&(AVC) (для дизъюнкции относительно конъюнкции).
30 вопр.Осн.равносильности булевых формул.Закон де-моргана, Идемпотентность
4. Закон де Моргана.
а) (A&B)AVB (отрицание конъюнкции есть дизъюнкция отрицаний);
б) (AVB) A&B (отрицание дизъюнкции есть конъюнкция отрицаний).
5. Идемпотентность.
а) A&A A (для конъюнкции);
б) AVA A (для дизъюнкции).
31 вопр.Равносильности булевых формул.Поглащение,расщепление.
6. Поглощение.
а) A&(AVB) A (1– ый закон поглощения);
б) AVA&B A (2– ой закон поглощения).
7. Расщепление (склеивание).
а)A&B V A&(B) A (1–ый закон расщепления);
б) (AVB) & (AVB) A (2–ой закон расщепления).
32 вопр.Равнос.Булевых формул.Закон противоречия,з-н искл. 3-го.
10. Закон противоречия.
A&A 0.
11. Закон “исключенного третьего”.
AVA 1.
2. Бухгалтерский учет инвестиций и финансов
3. ТЕОРИЯ ДОКАЗЫВАНИЯ В ЮРИДИЧЕСКОМ ПРОЦЕССЕ
4. по теме Язык программирования высокого уровня Python Выполнили студент группы 03618- Тимошкин С
5. Предменструальный синдром
6. Применение математики в статистике
7. Типы темпераментов и их психологическая характеристика
8. экономические показатели этой системы применяемые в бухгалтерском учете
9. I.COM ВНИМАНИЕ БЫЛА УКРАДЕНА С ЛИЧНОГО ЯЩИКА СЕРГЕЯ ИПАНТЕЛЕЕВИЧА МАВРОДИ О ТОМ КАК ВЗЛОМАТЬ ЯЩИК СМОТРИТЕ.html
10. тематика наука дедуктивная.html
11. ТЕМАТИКА 11 класс 7 Спецификация КИМ ЕГЭ 2014 г
12. География отраслей тяжелого машиностроения
13. Английский язык
14. Внутренний порядок чем достигается Внутренний порядок это строгое соблюдение определенных воинскими у
15. На тему- Иностранные инвестиции и их роль в развитии российской экономики
16. Роль лісу в екологічній стабілізації ландшафтів
17. Мова нашого народу.html
18. Комплексный подход к решению проблемы ТБО
19. Южуралмебель ООО ПК Южуралмебель Алексеев А
20. хозяйственной деятельности предприятия предполагают всестороннее изучение технического уровня производст