Задачи по дискретной математике для контрольных и самостоятельных работ. Булевы функции. Васильев А.В - 17 стр.

UptoLike

ВУЗ: 

КФУ | Казань

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

Рубрика: 

15. Определить существенные и фиктивные переменные функции, преобра-
зовав ее в полином Жегалкина.
15.1. (x
1
⊕ ((x
2
→ x
3
) ⊕ x
1
)x
2
)
15.2. (x
3
∼ ((x
1
∨ x
2
) ⊕ x
2
) ∼ x
1
)
15.3. (x
4
⊕ (x
1
→ x
2
)x
1
) ↓ x
3
15.4. (((x
4
x
3
) ⊕ x
1
) → x
2
)
15.5. ((x
1
↓ (x
3
| x
4
) | x
1
) ↓ x
2
)
15.6. ((x
2
(x
3
| x
1
) ∼ x
4
) ↓ x
3
)
15.7. (((x
4
| x
3
) → x
1
) ∼ x
2
)
15.8. (x
3
⊕ (x
1
∨ x
2
)x
3
)
15.9. (x
1
(x
2
∼ x
3
) ∨ (x
1
x
2
) ⊕ x
3
)
15.10. (x
1
→ (x
3
(x
2
→ x
1
))x
2
)
15.11. (x
1
→ x
2
) ∨
(x
3
↓ x
3
)
15.12. x
2
→ (x
1
↓ (x
3
| x
1
))
15.13. x
3
⊕ (x
1
→ x
2
)(x
2
→ x
3
)
15.14. ((x
3
∨ x
1
) → x
2
) → x
1
15.15. (x
2
∨ (x
1
x
3
) ∨ x
3
)
15.16. (x
1
∨ x
3
)(x
2
(x
3
∨ x
2
)x
1
)
15.17. (((x
1
(x
2
∨ x
3
) ∨ x
3
)x
1
)x
2
)
15.18. (x
2
→ x
3
)(x
1
∨ x
2
)
15.19. (x
2
x
1
) ∨ (x
3
⊕ x
1
)
15.20. (((x
2
∨ x
3
)x
1
)x
3
)
15.21. ((x
2
⊕ x
3
)x
1
) | ((x
2
| x
1
) ⊕ x
3
)
15.22. ((x
3
⊕ (x
2
→ (x
1
x
1
))x
3
) ⊕ x
2
)
15.23. (x
1
x
2
) → (x
4
∨ x
3
)
15.24. ((((x
4
⊕ x
2
) ∼ x
3
)x
1
) ∨ x
3
)
15.25. ((x
3
x
1
) ∼ x
2
)(x
1
∼ x
2
)((x
3
∼ x
2
)x
1
)
15.26. (x
1
∼ (x
3
⊕ x
2
)x
2
) ∼ (x
3
⊕ x
1
)
15.27. (x
3
⊕ x
1
) | ((x
2
| x
1
) ⊕ x
1
x
2
)
15.28. ((x
3
→ x
1
) → x
1
) ∨ x
2
15.29. x
1
(x
3
↓ (x
2
| x
3
))
15.30. (x
2
→ x
1
) ∨ x
2
∨ x
3
17
15. Определить существенные и фиктивные переменные функции, преобра-
    зовав ее в полином Жегалкина.
 15.1. (x1 ⊕ ((x2 → x3 ) ⊕ x1 )x2 )
 15.2. (x3 ∼ ((x1 ∨ x2 ) ⊕ x2 ) ∼ x1 )
 15.3. (x4 ⊕ (x1 → x2 )x1 ) ↓ x3
 15.4. (((x4 x3 ) ⊕ x1 ) → x2 )
 15.5. ((x1 ↓ (x3 | x4 ) | x1 ) ↓ x2 )
 15.6. ((x2 (x3 | x1 ) ∼ x4 ) ↓ x3 )
 15.7. (((x4 | x3 ) → x1 ) ∼ x2 )
 15.8. (x3 ⊕ (x1 ∨ x2 )x3 )
 15.9. (x1 (x2 ∼ x3 ) ∨ (x1 x2 ) ⊕ x3 )
15.10. (x1 → (x3 (x2 → x1 ))x2 )
15.11. (x1 → x2 ) ∨ (x3 ↓ x3 )
15.12. x2 → (x1 ↓ (x3 | x1 ))
15.13. x3 ⊕ (x1 → x2 )(x2 → x3 )
15.14. ((x3 ∨ x1 ) → x2 ) → x1
15.15. (x2 ∨ (x1 x3 ) ∨ x3 )
15.16. (x1 ∨ x3 )(x2 (x3 ∨ x2 )x1 )
15.17. (((x1 (x2 ∨ x3 ) ∨ x3 )x1 )x2 )
15.18. (x2 → x3 )(x1 ∨ x2 )
15.19. (x2 x1 ) ∨ (x3 ⊕ x1 )
15.20. (((x2 ∨ x3 )x1 )x3 )
15.21. ((x2 ⊕ x3 )x1 ) | ((x2 | x1 ) ⊕ x3 )
15.22. ((x3 ⊕ (x2 → (x1 x1 ))x3 ) ⊕ x2 )
15.23. (x1 x2 ) → (x4 ∨ x3 )
15.24. ((((x4 ⊕ x2 ) ∼ x3 )x1 ) ∨ x3 )
15.25. ((x3 x1 ) ∼ x2 )(x1 ∼ x2 )((x3 ∼ x2 )x1 )
15.26. (x1 ∼ (x3 ⊕ x2 )x2 ) ∼ (x3 ⊕ x1 )
15.27. (x3 ⊕ x1 ) | ((x2 | x1 ) ⊕ x1 x2 )
15.28. ((x3 → x1 ) → x1 ) ∨ x2
15.29. x1 (x3 ↓ (x2 | x3 ))
15.30. (x2 → x1 ) ∨ x2 ∨ x3


                                              17

Страницы