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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

5. ))(()( YXXXY ∧→→↔ ;
10.
)())(( YXYYX →→→∧ ;
Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и
конъюнкции.
11.
)())(( XYXYX →→→→
;
16.
)())(( XYXXY →
∧
↔
∨ ;
12.
)()( XYYX →↔→ ;
17.
))(()( XYXYX ∧→∧→ ;
13.
))(()( XYXYX ∧→∨→
;
18.
))(()( YXXYX ∧→→↔ ;
14.
))(()( XYXYX ∧→∨→ ;
19.
))(()( XYXYX
∧
→∨→ ;
15. XXYXY ∨∧→→ )))((( ;
20.
XYXYX ∧→∧→ ))()((
;
Преобразуйте данную формулу равносильным образом так, чтобы она содержала только операции отрицания и
конъюнкции.
21. XYXYX ∧∨→↔ ))()(( 26. YYXYX ∧→→↔ ))()((
22. YXYYX →→∧→ ))()(( 27. XYXYX ∧→→↔ ))()(( ;
23. ))(()( XYXYX ∧→∧→ 28. ))(()( XYXXY →→∧→ ;
24.
))()(( YXXYX →∧→∧
29.
)())(( YXYYX →∧→∧
;
25. ))(()( YXXXY ∧→∧↔
30.
))(()( XYXYX →→∧→
.
6. Приведите равносильными преобразованиями следующую формулу к ДНФ.
1.
YZYX ∧∨↔ ))((
; 16.
YZYX ∧∨↔ ))((
;
2. ;))(( XZYX →→→
17.
)())(( ZXYYX ∧→→∧
3. )()( YXZX ∧→↔ ; 18. )()( ZYZX ↔∨∧ ;
4. )()( ZYZX →∨∧ ; 19. )()( ZXYX ∨∧↔ ;
5.
)()( YZYX →∨∧
; 20.
))(()( XYZYZ ∧→∨∧
;
6. )( ZYX ↔→ ;
21.
XXYZ →∨→ ))((
;
7. ))(( ZYX ↔∨ ;
22. )()( YZXY ↔∨∧ ;
8. )()( ZYYX ∧∨↔ ; 23. )( ZYX ↔∧ ;
9. XZYX →→∨ ))(( ;
24. )( ZXY ↔→ ;
10. ))(()( ZYXYX ∧→∨∧ ;
25. )()( YZYX →∨∧ ;
11. )()( ZYYX ∨∧↔ ; 26. )()( ZXZY →∨∧ ;
12. )()( ZYYX ↔∨∧ ;
27. )()( ZYXY ∧→↔ ;
13.
)())(( ZXYYX ∧→→∧
;
28.
)()( ZXYX ∨→↔
;
14. YZYX ∧∨↔ ))(( ; 29. YXYZ ∧∨↔ ))(( ;
15. )()( ZXYX ∨→↔ ;
30. XYZX →→→ ))(( .
7. Приведите равносильными преобразованиями следующую формулу к КНФ.
1. YZYX ∧∨↔ ))(( ;
3. )())(( ZXYYX ∧→→∧ ;
2. )())(( ZXYYX ∧→→∧ ;
4. )()( ZYZX ↔∨∧ ;
5. )()( ZXYX ∨∧↔ ; 18. ;))(( XZYX →→→
6. ))(()( XYZYZ ∧→∨∧ ; 19. )()( YXZX ∧→↔ ;
7.
XXYZ →∨→ ))((
; 20.
)()( ZYZX →∨∧
;
8. )()( YZXY ↔∨∧ ; 21. )()( YZYX →∨∧ ;
9. )( ZYX ↔∧ ;
22. )( ZYX
↔
→ ;
10. )( ZXY ↔→ ;
23. )( ZYX ↔∨ ;
11.
)()( YZYX →∨∧
;
24.
)()( ZYYX ∧∨↔
;

Страницы