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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

20.
ZYZYX →−→→ )(
;
21. ZYXZYX ∨∨−∧→ )( ;
22. ZYXZYX →∧−∧→ )()( ;
23. YZXZYX →∧−∧→ )()( ;
24. YXZYX ∨−∧→ )( ;
25. )()( ZYXZYX ↔→−∧→ ;
26. )()()( ZYXZYYX ∨→−↔∧↔ ;
27. YZXZYYX →∧−↔∧↔ )()()( ;
28. )()()( YXZZYYX ↔→−↔∧↔ ;
29. ZXZYYX →−↔∧↔ )()( ;
30. ZYXZYYX →∧−↔∧↔ )()()( .
10. Выясните, верны ли следующие следования из группы формул.
1. YXZYXYTTZ →−∨→→→ ))(,,( ;
2. YZTXYXXZ ∧−∧→→ ),,( ;
3. XZTYXYZZT →−∨→→→ ))(,,( ;
4. ZYXTTZXY →−∨→→ ),,( ;
5. TWVZTYWVXZYX ∨∨−→∨→∨∨ ),),(,( ;
6. ZXYTTZYX →−∨→→ ),,( ;
7. TXTZTYXZ ∧−→∧→ ),,( ;
8. XTVZXTZVX −∧→→→ ))(,,,( ;
9. TVXZTYVXZYX ∨−→→→∨∨ ),,,( ;
10. YXTZTYZX ∨−→↔→ ),,( ;
11. YXTZYZZX →−∧→→ ),,( ;
12. TVZTYVXZYX ∨−→→∨∨ ),,,( ;
13. YXTZTYZX ∨−→↔→ ),,( ;
14. YXTZTYZX →−→↔→ ),,( ;
15. TVZTYVXZYX ∨−→→∨∨ ),,,( ;
16. YXTZYZZX ∧−∧→→ ),,( ;
17. YXTZTYZX ∨−→↔→ ),,( ;
18. TVZTYVXZYX ∨−→→∨∨ ),,,( ;
19. ZTYZXTZYX −∧→→→ ),,,( ;
20. TXTZTYZYX ∧−→∧∨∨ ),,( ;
21. ZXYTTZYX ∨−∨→→ ),,( ;
22. TWVZTYWVXZYX ∨∨−→∨→∨∨ ),),(,( ;
23. XYXTTZXY →−∧→→ ),,( ;
24. YXTYXYZZT →−∨→→→ ))(,,( ;
25. TXTXYXXZ ∨−∧→→ ),,( ;
26.
YXZYXYTTZ →−∨→→→ ))(,,(
;
27. YXXTZTYZX →−∧→↔→ ))(,,( ;
28. TXXTZTYZYX ∧−→∨∨∨ ),,,( ;
29. TXYTYZXZ →−→↔→ ),,( ;
30. ZXTYZTXY →−∨→→ ),,( .

Страницы