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

UptoLike

ВУЗ: 

КФУ | Казань

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

Рубрика: 

23.27. A = {(x
2
→ x
1
) → (x
1
↓ x
2
), (x
1
∼ x
2
), x
1
∨ x
2
, (x
1
| x
2
) ∼ x
1
}
23.28. A = {(x
1
∨ x
2
) → (x
1
→ x
2
), x
2
⊕ (x
1
x
3
), (x
2
↓ x
3
) ∨ (x
1
∼ x
2
),
(x
1
→ x
3
) → x
2
}
23.29. A = {x
3
→ (x
1
∼ x
2
), (x
2
⊕ x
3
) → (x
1
| x
2
), x
2
x
3
⊕ (x
2
| x
1
),
x
1
∼ (x
2
⊕ x
3
)}
23.30. A = {(x
2
↓ x
3
) ∨ (x
1
→ x
2
), x
3
∨ (x
1
∼ x
2
), x
1
(x
2
∨ x
3
),
x
3
| (x
1
∨ x
2
)}
26
23.27. A = {(x2 → x1 ) → (x1 ↓ x2 ), (x1 ∼ x2 ), x1 ∨ x2 , (x1 | x2 ) ∼ x1 }
23.28. A = {(x1 ∨ x2 ) → (x1 → x2 ), x2 ⊕ (x1 x3 ), (x2 ↓ x3 ) ∨ (x1 ∼ x2 ),
       (x1 → x3 ) → x2 }
23.29. A = {x3 → (x1 ∼ x2 ), (x2 ⊕ x3 ) → (x1 | x2 ), x2 x3 ⊕ (x2 | x1 ),
       x1 ∼ (x2 ⊕ x3 )}
23.30. A = {(x2 ↓ x3 ) ∨ (x1 → x2 ), x3 ∨ (x1 ∼ x2 ), x1 (x2 ∨ x3 ),
       x3 | (x1 ∨ x2 )}




                                        26

Страницы