- •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. ½ ⊕ (z ∨ t ) ╽ (yz→ xt) |
6. |
21. (x→ y ) ⊕ (x → z ) |
7. |
22(x → y ) →( → ) ╽(x→ t ) ⊕ (x → z ) |
8. . ½ → |
23. ( → x ) → y ╽ (z⊕ t ) |
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. |