У вас вопросы?
У нас ответы:) SamZan.net

Равносильные преобразования формул В отличие от табличного задания представление функции формулой не ед

Работа добавлена на сайт samzan.net: 2015-07-10

Поможем написать учебную работу

Если у вас возникли сложности с курсовой, контрольной, дипломной, рефератом, отчетом по практике, научно-исследовательской и любой другой работой - мы готовы помочь.

Предоплата всего

от 25%

Подписываем

договор

Выберите тип работы:

Скидка 25% при заказе до 28.4.2025

28вопр. Равносильные преобразования формул

 В отличие от табличного задания представление функции формулой не единственно. Например, две различные формулы

x1Vx2  и  (x1&x2)

реализуют одну функцию – штрих Шеффера.

Две формулы, реализующие одну и ту же функцию,  называются равносильными.

Равносильность формул A и B будем обозначать следующтм образом: AB.

Для того, чтобы установить равносильность формул, можно составить таблицы значений функции для каждой формулы и сравнить их. Для равносильных формул эти таблицы совпадают. Другой способ установления равносильности формул заключается в использовании  некоторых установленных равносильностей булевых формул.

29 вопрос.Осн.равносильности Булевых формул. Коммутативность. Ассоциативность. Дистрибутивность.

1. Коммутативность.

а) A&B B&A (для конъюнкции);

б) AVBBVA (для дизъюнкции).

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)AVB (отрицание конъюнкции есть дизъюнкция отрицаний);

б) (AVB) A&B (отрицание дизъюнкции есть конъюнкция отрицаний).

5. Идемпотентность.

а) A&AA  (для конъюнкции);

б) AVAA  (для дизъюнкции).

31 вопр.Равносильности булевых формул.Поглащение,расщепление.

6. Поглощение.

а) A&(AVB)  A  (1– ый закон поглощения);

б) AVA&B  A  (2– ой закон поглощения).

7. Расщепление (склеивание).

а)A&B V A&(B)  A (1–ый закон расщепления);

б) (AVB) & (AVB)  A (2–ой закон расщепления).

32 вопр.Равнос.Булевых формул.Закон противоречия,з-н искл. 3-го.

10. Закон противоречия.

A&A  0.

11. Закон “исключенного третьего”.

AVA  1.




1. 20 Руководство фирмы заполняет п
2. БЕЛОРУССКАЯ ГОСУДАРСТВЕННАЯ СЕЛЬСКОХОЗЯЙСТВЕННАЯ АКАДЕМИЯ М
3. внутренняя норма доходности IRR
4. Тема 31 Общие положения о юридическом лице Тема 3
5. Клятва После того как в XVI в в разных странах Италии Швейцарии Германии Франции вышли первые печатные тр
6. Дипломная работа- Методика формування навичок зображення форми у процесі графічної діяльності молодших школярів
7. і. Творчі амплуа ведучого в телепрограмах різного типу
8. Альметьевский государственный институт муниципальный службы Экономический факультет Кафедра эко
9. АПвП ПвП АПвПу ПвПу ~ кабели с изоляцией из сшитого полиэтилена в полиэтиленовой оболочке АПвПг ПвПг
10. Эрнесто Гевара Линч де ла Серна родился 14 июня 1928 года в аргентинском городе Росарио.html