- •1.Скласти таблиці істинності для формул.
- •2.Встановити еквівалентність формул за допомогою таблиць істинності.
- •5. Записати формули у вигляді , що містить лише операції .Ú, ù, ø над простими змінними
- •Побудувати поліном Жегалкіна для функцій.
- •Перевірити самодвоїстість функцій.
- •8. Перевірити монотонність функцій.
- •Перевірити повноту наступних систем.
- •10 Для функції синтезувати логічну схему
- •11 Провести аналіз логічної схеми
- •10.20. Складемо функцію провідності для схеми
Побудувати поліном Жегалкіна для функцій.
1.
|
16.
|
2. |
17.
|
3. |
18.
|
4.
|
19. |
5. |
20.
|
6. |
21.
|
7. |
22.
|
8. |
23.
|
9.
|
24. |
10.
|
25. |
11. |
26.
|
12.
|
27.
|
13. |
28.
|
14.
|
29.
|
15. |
30. |
Перевірити самодвоїстість функцій.
1. |
16.
|
2.
|
17.
|
3.
|
18.
|
4.
|
19.
|
5.
|
20. |
6.
|
21.
|
7.
|
22.
|
8. |
23.
|
9. |
24. |
10.
|
25. |
11. |
26.
|
12.
|
27.
|
13. |
28.
|
14.
|
29.
|
15.
|
30.
|
8. Перевірити монотонність функцій.
1.
|
16.
|
2.
|
17.
|
3.
|
18.
|
4.
|
19 |
5.
|
20.
|
6. |
21. (x→ y ) ⊕ (x → z ) |
7.
|
22(x
→ y
) →( |
8.
. |
23.
( |
9. |
24. x ∧ (y→ z) ) ╽ (y ∨ t ) |
10.
|
25. (x ∨ y ) ⊕ x ∧ (y→ t)╽(x ∨ z ) |
11.
. |
26. (x ∨ z ) ⊕ (y ∨ t ) ⊕ (y→ t)╽(x ∨ z ) |
12. |
27. x → ( y ∨ z) ) ╽ (y ∨ t ) ⊕ (z→ t) |
13. |
28.
(
y
→ z
) )
→
(y
∨
t
) ⊕
(y→
t)╽(t
∨
z
) |
14.
|
29. (x ∨ y ) ⊕ (x ∨ z )→(t╽y) |
15. |
30. (x ∨ y ) ⊕ (x ╽ z ) ⊕ (y→t) |
Перевірити повноту наступних систем.
1.
|
16. |
2.
|
17.
|
3. |
18.
|
4.
|
19. |
5.
|
20. |
6.
|
21. |
7. |
22.
|
8. |
23. |
9. |
24. |
10.
|
25. |
11. |
26. |
12. |
27. |
13. |
28 |
14.
|
29.
Ø |
15.
|
30.
|
