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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

19.
)()( BCBA ∧∨→ ;
27.
)()( BABC ↔∧∨ ;
20.
)()( BCBA ∨↔→ ;
28.
BBCA ↔→∨ ))(( ;
21.
)()( BCBA →∨→ ;
29.
)()( BCBA ↔∨↔ ;
22. ))(( BCAB ∧→∨ ;
30.
)( BCA ∧∨ .
4. Составьте таблицу истинности для формулы алгебры высказываний. Укажите вид формулы.
1. ))(())(( ZYXXZY →∧∧↔∨ ;
2.
)())()()(( YXYZXYYX ∨→∨∧→∧→
;
3.
XZYXZYX ↔∧→∨∧∧ )))(()((
;
4.
)()))()((( YXYZXZX ↔→∧∧∨∧
;
5.
))()(( YXZYX ∨→∨↔
;
6. )())())((( ZYZXZYX ↔↔∨∨→∧ ;
7.
))(()))((( ZYXXZYX ↔∨→∧∨↔
;
8. ))(())(( ZYXXZY →∨∧↔∨ ;
9.
))(())()(( YZXZYYX ∨→↔∧∨→
;
10. YYXZYX ∨→→∨∨ ))()(( ;
11. ))(())(( ZXYZYX →→↔→→ ;
12. ))(())(( ZYXXZY →∨∨↔∧ ;
13.
ZYXZYX ∧∨→∧∨ ))))((((
;
14.
)()))((( ZYXZYXY ∧→→∨∨↔
;
15.
))(())(( ZYXZYX ↔∧∧∨→
;
16.
))(())()(( ZYXYZYX →∨∨↔→∧
;
17.
))(()))((( ZYXYXZY →→↔∧∨∧
;
18. ))(())(( ZXYYZX ∨→↔↔→ ;
19.
)())()(( XZYZZYX →↔∧∨→∨
;
20.
))()(()( YXZYXYX →↔∧∧→∨
;
21.
))))(((( XZYXZY ∧∨→↔→
;
22.
)())()(( XYXZYZX ∧→∨∨→↔
;
23.
)))(())((( ZYXYZXY ∨∧→∧→↔
;
24.
))(())((( YZXYXZX →↔∧∨→↔
;
25.
XZYXZYX ∨→∨↔→∧ )))(())(((
;
26. )))((())(( YXZYYZX ∧↔→→∨∧ ;
27.
))(())()(( ZYXZXZX →↔→∨↔∧
;
28.
YXYXYZY →↔∧→∧∨ ))()()((
;
29. )())()(( ZYYXYXZ →∧→∨↔∨ ;
30.
))))()(((( YYZZYXX ↔→∧→↔∨
.
5. С помощью равносильных преобразований упростите формулу.
1. XYXYX ∧∨→↔ ))()(( ;
6.
YYXYX
∧
→→
↔
))()(( ;
2.
))(()( YXXYX ∧→→↔
;
7.
))(()( XYXYX →→→→
;
3. ))(()( XYXXY →→→→ ; 8. XYXYX →→∧→ ))()(( ;
4. ))()(( YXXYY →∧→→ ; 9. ))(()( XYXYX →→→→ ;

Страницы