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

UptoLike

ВУЗ: 

ТГТУ | Тамбов

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

Рубрика: 

11. Найдите все неравносильные между собой и не тождественно истинные следствия из данных посылок.
1. XXYYX ,, ∨∧ ;
9.
YXZYX →→
∧
,)(
;
2. XYZYX ∨→∧ ,)( ; 10. YXXYZ →→
∧
,)( ;
3. YXXY ∨∨ , ;
11.
XZXY →→ , ;
4. XYX ,↔ ;
12.
)(, ZYXXY ∨→→ ;
5. YXYX ∧∨ , ;
13.
ZXYX ∨∨ , ;
6. ZYXY →→ , ; 14. YXXYZ →→
∧
,)( ;
7. ZYYX ∨→ , ; 15. XZXY →→ , .
8.
ZXYX →→ ,
;
Найдите все неравносильные и не тождественно ложные посылки, для которых данная формула является следст-
вием.
16.
)( YZX ∨∧
;
24.
)( YXZ ∨∧ ;
17. )( ZYX ∨∧ ;
25.
)( YXZ ∨∧ ;
18. )( ZYX ∨∧ ; 26. )( YXZ ∨∧ ;
19. )( ZYX ∨∧ ; 27. )( YXZ ∨∧ ;
20.
)( ZYX ∨∧
; 28.
)( XYZ ∨∧
;
21. )( ZXY ∨∧ ; 29. )( YXZ ∨∧ ;
22. )( XZY ∨∧ ; 30. )( YXZ ∨∧ .
23.
)( YXZ →∧ ;
12. Задан алгоритм функционирования некоторого комбинационного цифрового устройства в виде связи между входны-
ми и выходными сигналами. Эта связь представлена таблицей истинности (задан последний столбец таблицы истинности,
первые три столбца значений переменных имеют стандартный вид, указанный в условии задачи 12 решенного варианта ти-
пового расчёта). Спроектируйте схему этого цифрового устройства, отличающуюся минимумом аппаратурных затрат,
т.е. минимальным числом логических элементов. Изобразите её графически с использованием условных обозначений.
№
варианта
)(F
λ
1 1 1 1 0 0 0 0 0
2 0 1 1 1 0 0 0 0
3 0 0 1 1 1 0 0 0
4 0 0 0 1 1 1 0 0
5 0 0 0 0 1 1 1 0
6 0 0 0 0 0 1 1 1
7 1 0 0 0 0 0 1 1
8 1 1 0 0 0 0 0 1
9 0 1 1 0 1 0 0 0
10 0 0 1 1 0 1 0 0
11 0 0 0 1 1 0 1 0
12 0 0 0 0 1 1 0 1
13 1 0 0 0 0 1 1 0
14 0 1 0 0 0 0 1 1
15 1 0 1 0 0 0 0 1
16 0 0 0 1 1 1 1 1
17 1 0 0 0 1 1 1 1
18 1 1 0 0 0 1 1 1
19 1 1 1 0 0 0 1 1
20 1 1 1 1 0 0 0 1
21 1 1 1 1 1 0 0 0
22 0 1 1 1 1 1 0 0
23 0 0 1 1 1 1 1 0
24 0 0 1 0 1 1 1 1
25 1 0 0 1 0 1 1 1
26 1 1 0 0 1 0 1 1
27 1 1 1 0 0 1 0 1
28 1 1 1 1 0 0 1 0
29 0 1 1 1 1 0 0 1
30 1 0 1 1 1 1 0 0

Страницы