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

UptoLike

ВУЗ: 

КФУ | Казань

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

Рубрика: 

16. Определить существенные и фиктивные переменные функции, преобра-
зовав ее в сокращенную ДНФ.
16.1. (x
1
→ x
3
) ↓ (x
2
x
2
) → (x
1
x
3
)
16.2. (x
3
⊕ x
2
) → (x
1
x
3
)
16.3. (x
3
x
1
) → (x
2
→ x
1
)(x
2
→ x
3
)
16.4. (x
1
| ((x
2
⊕ x
3
)x
1
)x
3
)
16.5. (x
1
∨ x
3
) ⊕ ((x
2
∨ x
1
) ⊕ x
2
)
16.6. ((x
3
| x
2
) ↓ (x
1
↓ x
2
) | x
3
)
16.7. ((x
3
| x
1
)x
2
)((x
3
| x
1
)x
2
)
16.8. (((x
3
→ x
2
)x
1
)x
1
)
16.9. (((x
2
| x
3
)(x
1
| x
3
)x
2
) | x
1
)
16.10. (x
3
↓ x
1
) | (x
2
∼ x
1
)
16.11. (x
3
↓ x
2
) | (x
1
| x
2
) ↓ (x
3
↓ x
1
)
16.12. ((x
1
↓ x
3
) → (x
2
| x
3
) ⊕ x
1
)
16.13. (x
2
∨ x
1
) | (x
3
∼ x
1
)
16.14. (x
1
| x
2
) ↓ (x
3
| x
1
) ↓ (x
3
| x
2
)
16.15. (((x
2
x
1
) ∨ x
3
) → x
3
)
16.16. (((x
1
x
2
) → x
3
) ∨ x
2
)
16.17. ((x
2
∨ x
1
)x
3
) ∼ ((x
1
∨ x
2
)x
3
)
16.18. ((x
3
→ x
1
) ↓ x
2
)
16.19. (x
2
∨ (x
3
| x
1
) ∨ (x
3
| x
2
) | x
1
)
16.20. (((x
4
| x
1
) ↓ (x
2
| x
3
) ↓ x
3
) ↓ x
4
)
16.21. (x
3
→ ((x
4
x
2
) ∼ x
1
) ⊕ x
2
)
16.22. ((((x
2
→
x
1
)x
3
) ↓ x
4
) | x
2
)
16.23. ((((x
3
∼ x
2
) ∨ x
4
) ⊕ x
1
)x
3
)
16.24. (x
4
((x
2
∨ x
1
) ∼ x
3
) → x
4
)
16.25. (x
1
∨ (x
3
x
2
) ⊕ x
2
)
16.26. (x
3
| x
2
) → (x
1
∨ x
2
)
16.27. ((x
1
∼ x
3
) ⊕ x
2
) → x
2
16.28. (x
1
⊕ x
2
) ∨ (x
2
⊕ x
3
)
16.29. x
2
⊕ x
1
(x
2
∼ x
3
)
16.30. ((x
2
↓ x
3
) ⊕ (x
1
| x
3
)) → x
2
18
16. Определить существенные и фиктивные переменные функции, преобра-
    зовав ее в сокращенную ДНФ.
 16.1. (x1 → x3 ) ↓ (x2 x2 ) → (x1 x3 )
 16.2. (x3 ⊕ x2 ) → (x1 x3 )
 16.3. (x3 x1 ) → (x2 → x1 )(x2 → x3 )
 16.4. (x1 | ((x2 ⊕ x3 )x1 )x3 )
 16.5. (x1 ∨ x3 ) ⊕ ((x2 ∨ x1 ) ⊕ x2 )
 16.6. ((x3 | x2 ) ↓ (x1 ↓ x2 ) | x3 )
 16.7. ((x3 | x1 )x2 )((x3 | x1 )x2 )
 16.8. (((x3 → x2 )x1 )x1 )
 16.9. (((x2 | x3 )(x1 | x3 )x2 ) | x1 )
16.10. (x3 ↓ x1 ) | (x2 ∼ x1 )
16.11. (x3 ↓ x2 ) | (x1 | x2 ) ↓ (x3 ↓ x1 )
16.12. ((x1 ↓ x3 ) → (x2 | x3 ) ⊕ x1 )
16.13. (x2 ∨ x1 ) | (x3 ∼ x1 )
16.14. (x1 | x2 ) ↓ (x3 | x1 ) ↓ (x3 | x2 )
16.15. (((x2 x1 ) ∨ x3 ) → x3 )
16.16. (((x1 x2 ) → x3 ) ∨ x2 )
16.17. ((x2 ∨ x1 )x3 ) ∼ ((x1 ∨ x2 )x3 )
16.18. ((x3 → x1 ) ↓ x2 )
16.19. (x2 ∨ (x3 | x1 ) ∨ (x3 | x2 ) | x1 )
16.20. (((x4 | x1 ) ↓ (x2 | x3 ) ↓ x3 ) ↓ x4 )
16.21. (x3 → ((x4 x2 ) ∼ x1 ) ⊕ x2 )
16.22. ((((x2 → x1 )x3 ) ↓ x4 ) | x2 )
16.23. ((((x3 ∼ x2 ) ∨ x4 ) ⊕ x1 )x3 )
16.24. (x4 ((x2 ∨ x1 ) ∼ x3 ) → x4 )
16.25. (x1 ∨ (x3 x2 ) ⊕ x2 )
16.26. (x3 | x2 ) → (x1 ∨ x2 )
16.27. ((x1 ∼ x3 ) ⊕ x2 ) → x2
16.28. (x1 ⊕ x2 ) ∨ (x2 ⊕ x3 )
16.29. x2 ⊕ x1 (x2 ∼ x3 )
16.30. ((x2 ↓ x3 ) ⊕ (x1 | x3 )) → x2


                                              18

Страницы