Тема- Спрощення систем висловлень
Работа добавлена на сайт samzan.net:
Лабораторна робота 4
Спрощення систем висловлень.
1
Лабораторна робота 4.
Тема: Спрощення систем висловлень.
Мета: Сформувати вміння та навички застосування рівносильних перетворень для спрощення систем висловлень.
План
- Спрощення систем висловлень.
Короткі теоретичні відомості
Спрощення сукупності висловлень засновано на тому, що в залежності від умови задачі, необхідно скласти кон’юнкцію або диз’юнкцію вихідних висловлень, а потім привести її еквівалентними перетвореннями до кон’юнкції або диз’юнкції більш простого виду, тим самим можна отримати більш просту систему висловлень, еквівалентну до даної.
Хід заняття
Задача 1. Спростити систему висловлень, якщо всі висловлення, що входять до системи, істинні. Спростити систему, це означає знайти логічно еквівалентну їй систему, що складається з меншої кількості не більш складних висловлень:
AB, CB, (BC)A
Розв’язування.
Спрощення даної сукупності висловлень спирається на те, що кожне з висловлень буде істинним тоді і тільки тоді, коли істинна кон’юнкція всіх цих висловлень. Тому, склавши кон’юнкцію з даних висловлень і приводячи її еквівалентними перетвореннями до кон’юнкції більш простого виду, можна отримати більш просту систему висловлень, еквівалентну даній:
AB,CB,(BC)A
Об'єднуємо висловлення знаком кон'юнкцiї.
(AB)(CB)((BC)A) =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(AB)(CB)( A) =
Закон де Моргана для кон'юнкцiї (9°)
(AB)(CB)(A) =
Закон комутативностi диз'юнкцiї (3°)
(AB)(CB)(A) =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(AB)(B)(A) =
Закон нуля вiдносно диз'юнкцiї (14°)
(AB)(B0)(A) =
Вираження нуля через кон'юнкцiю та заперечення (15°)
(AB)(BA)(A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
(AB) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
A) =
Закон нуля вiдносно диз'юнкцiї (14°)
(A) =
Вираження нуля через кон'юнкцiю та заперечення (15°)
(A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
() =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
() =
Закон комутативностi кон'юнкцiї (2°)
A) =
Закон комутативностi диз'юнкцiї (3°)
(BC)(B)(B)(BA)(A) =
Закон комутативностi диз'юнкцiї (3°)
(BC)(B)(B)(BA)(A) =
Закон комутативностi диз'юнкцiї (3°)
(BC)(B)(B)(BA)(A) =
Закон iдемпотентностi кон'юнкцiї (12°)
(BC)(B)(BA)(A) =
Закон комутативностi диз'юнкцiї (3°)
(CB)(B)(BA)(A) =
Закон комутативностi диз'юнкцiї (3°)
(CB)(B)(BA)(A) =
Закон комутативностi диз'юнкцiї (3°)
(CB)(B)(BA)(A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
((CB)(B))(BA)(A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
((C)B)(BA)(A) =
Вираження нуля через кон'юнкцiю та заперечення (15°)
((0)B)BA)(A) =
Закон нуля вiдносно диз'юнкцiї (14°)
(B)(BA)(A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
(B)((B)()A) =
Закон дистрибутивностi диз'юнкцiї вiдносно кон'юнкцiї (8°)
(B)(BA) =
Вираження нуля через кон'юнкцiю та заперечення (15°)
(B)(0A) =
Закон нуля вiдносно диз'юнкцiї (14°)
(B)(A) =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(B)(CA) =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(AB)(CA)
Вихiдна система висловлень AB,CB,(BC)A логiчно еквiвалентна наступнiй
AB, CA
Всі висловлення даної системи будуть істинні тоді і тільки тоді, коли будуть істинні висловлювання АВ і СА.
Тому дана система висловлювань AB,CB,(BC)A є логічно еквівалентною більш простій системі двох висловлень АВ,СА.
Задача 2. Спростити систему висловлень, якщо відомо, що з висловлень, які входять до неї, що найменше одне з них істинне:
AB, , ()
Розв’язування.
AB, , ()
Що найменше одне з висловлень даної сукупності буде істинним тоді і тільки тоді, коли істинна диз’юнкція всіх даних висловлень. Тому, склавши диз’юнкцію з даних висловлень і приводячи її еквівалентними перетвореннями до диз’юнкції більш простого виду, можна отримати більш просту систему висловлень, еквівалентну даній. У нашому випадку маємо наступну диз’юнкцію, яку послідовно спрощуємо:
AB, , ()
Об'єднуємо висловлення знаком диз'юнкцiї
(AB)( ())() =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(AB)(())(()) =
Закон де Моргана для диз'юнкцiї (10°)
(AB)((B) )(()) =
Закон подвiйного заперечення (1°)
(AB)((A))(()) =
Вираження iмплiкацiї через диз'юнкцiю та заперечення (21°)
(AB)((A))(()) =
Закон де Моргана для диз'юнкцiї (10°)
(AB)((A))(()) =
Закон подвiйного заперечення (1°)
(AB)((A))((B)) =
Закон iдемпотентностi диз'юнкцiї (11°)
((AB))((AB))((A))((B)) =
Закон дистрибутивностi кон'юнкцiї вiдносно диз'юнкцiї (7°)
((AB))(((AB)(A)))((B)) =
Закон дистрибутивностi кон'юнкцiї вiдносно диз'юнкцiї (7°)
((AB))((A(B)))((B)) =
Вираження одиницi через диз'юнкцiю та заперечення (18°)
((AB))((A(1)))((B)) =
Закон одиницi вiдносно кон'юнкцiї (13°)
((AB))((A))((B)) =
Закон комутативностi диз'юнкцiї (3°)
((AB))((B))(A) =
Закон асоцiативностi кон'юнкцiї (5°)
((AB))((B))(A) =
Закон дистрибутивностi кон'юнкцiївiдносно диз'юнкцiї (7°)
(((AB)(B)))(A) =
Закон дистрибутивностi кон'юнкцiї вiдносно диз'юнкцiї (7°)
(((A)B))(A) =
Вираження одиницi через диз'юнкцiю та заперечення (18°)
(((1)B))(A) =
Закон одиницi вiдносно кон'юнкцiiї(13°)
((B))(A) =
Закон комутативностi диз'юнкцiї (3°)
(A)(B)
Вихiдна система висловлень AB,(),() логiчно еквiвалентна наступнiй
(A), (B)
Таким чином, що найменше одне висловлення даної системи буде істинне тоді і тільки тоді, коли буде істинне одне із висловлень А або В. Тому дана система трьох висловлювань AB, (), () є логічно еквівалентною більш простій системі двох висловлень А, В.
Задачі для самостійного розв’язування
4.1. Спростіть наступні системи висловлень, якщо відносно них відомо, що всі висловлення, що входять до системи, істинні:
- AB, CB, (BC)A
- C(AB), (BC)A, (AB)C
- A(BC), B(AC), (AB)C
- AB, A(BC), BC
- P(QR), W(ST), R(Q), (WT)
- W(MS), RT, T, M(SW), P(TR)
- (BC), B(), C(A)
- A(BC), (AC)B,()C
4.2. Спростіть наступні системи висловлень, якщо відносно них відомо, що з усіх висловлень, що входять до системи, що найменше одне з них істинне:
- AB, (), ()
- (), A, C, ()
- ABC, , AB, ()
- AB, AC, B(AC)
- XYZ, X(), ()Z, ()Z
- XY, (), ()
- YZ, ,YZ
- PR, (), QR, QR
2. Лабораторная работа 8 Исследование помехоустойчивости систем передачи дискретных сообщений Выполнили-.
3. Живой труд в системе факторов производства
4. тема судебной власти в Иране В результате кардинальной реорганизации судебной власти в 1922~1939 ее основой ст
5. Incentives r~unions ou voyges de stimultion s~minires et r~unions d~entreprises
6. Современная Куба
7. Статья- О мозаиках Кахрие Джами
8. инновационному развитию Республики Казахстан на 2010 ' 2014 годы Астана 2010
9. правовые аспекты возникновения и развития судебной власти на землях Беларуси
10. внутренняя норма доходности IRR
11. 03-02 ПП КГМУ 4-02 КарагандинскИЙ государственнЫЙ медицинскИЙ УНИВЕРСИТЕТ Кафедра Биологической
12. О современной семье и ее воспитательном потенциале
13. косметика пришло к нам из Греции в дословном переводе обладающий опытом декорирования
14. тема между частями которой нет поверхностей раздела а интенсивные свойства одинаковы в любых точках называ
15. Экономикогеографическая характеристика Китая
16. Экономическое возвышение Москвы и борьба за объединение русских земель
17. Пульпит
18. 1910 Родился 28 августа 9 сентября н
19. I Неплатежи- макроэкономический анализ I Неплатежи-макроэкономический анализ К концу 1997 го
20. Нестандартный анализ