Математическая логика. Типовые расчеты. Лоскутова Е.С - 11 стр.

UptoLike

ВУЗ: 

ТГТУ | Тамбов

Составители: 

Рубрика: 

12.
)()( ZXZY →∨∧ ;
25. XZYX →→∨ ))(( ;
13. )()( ZYXY ∧→↔ ; 26. ))(()( ZYXYX ∧→∨∧ ;
14. )()( ZXYX ∨→↔ ; 27. )()( ZYYX ∨∧↔ ;
15.
YXYZ ∧∨↔ ))((
;
28. )()( ZYYX
↔
∨
∧
;
16. ;))(( XYZX →→→ 29. YZYX ∧∨↔ ))(( ;
17. YZYX ∧∨↔ ))(( ; 30. )()( ZXYX ∨→↔ .
8. Применяя равносильные преобразования, найдите СДНФ и СКНФ для данной формулы. Проверьте полученные
формы с помощью таблицы истинности.
1. ;))(( XZYX →→→ 14. )()( ZXYX ∨→↔ ;
2. )()( YXZX ∧→↔ ; 15. YZYX ∧∨↔ ))(( ;
3. )()( ZYZX →∨∧ ;
16. )())(( ZXYYX ∧→→∧
4. )()( YZYX →∨∧ ; 17. )()( ZYZX ↔∨∧ ;
5. )( ZYX ↔→ ;
18. )()( ZXYX ∨∧↔ ;
6. )( ZYX ↔∨ ;
19. ))(()( XYZYZ ∧→∨∧ ;
7. )()( ZYYX ∧∨↔ ; 20. XXYZ →∨→ ))(( ;
8. XZYX →→∨ ))(( ;
21. )()( YZXY ↔∨∧ ;
9. ))(()( ZYXYX ∧→∨∧ ; 22. )( ZYX ↔∧ ;
10. )()( ZYYX ∨∧↔ ; 23. )( ZXY ↔→ ;
11. )()( ZYYX ↔∨∧ ;
24. )()( YZYX →∨∧ ;
12. )())(( ZXYYX ∧→→∧ ;
25. )()( ZXZY →∨∧ ;
13. YZYX ∧∨↔ ))(( ; 26. )()( ZYXY ∧→↔ ;
27.
)()( ZXYX ∨→↔
; 29.
;))(( XYZX →→→
28.
YXYZ ∧∨↔ ))(( ; 30. YZYX ∧∨↔ ))(( .
9. Докажите следующее логическое следование 2-мя различными способами.
1. )()( ZYXZYX →→−→∨ ;
2.
ZYZYX →−→∨ )(
;
3. ZYXZYX →∧−→∨ )()( ;
4. )()( ZXYZYX ∨→−→∨ ;
5. ZXZYX →−→∨ )( ;
6. ZXZXYX ∨−∨∧→ )()( ;
7. )()()( ZYXZXYX ∨∨−∨∧→ ;
8. )()()( ZXYZXYX ∨→−→∧→ ;
9. YXZXYX →−∨∧∨ )()( ;
10. ZYZXYX ∨−∨∧∨ )()( ;
11. )()()( ZYXYXZX ∨→−→∧→ ;
12. YZXYXZX →∧−→∧→ )()()( ;
13. ZYXYXZX →∧−→∧→ )()()( ;
14. ZXYXZX →−→∧→ )()( ;
15. YXYXZX →−→∧→ )()( ;
16. ZYXZYX ∨∨−→→ )( ;
17. )()( ZXYZYX ∨→−→→ ;
18.
ZYXZYX →∧−→→ )()(
;
19. ZXZYX ∨−→→ )( ;

Страницы