- (x ∨ y) ⊕ z ⊕ 0
- ¬(¬x ∨ y) ∨ (¬y ∨ z)
- ¬(¬x ∧ z) ∧ x ∧ ¬y
- (x ∧ y ∧ z) ⊕ (x ∧ y) ⊕ 0
- ¬(x ∨ (¬x ∨ ¬y)
- x ∧ ¬(y ∨ z) ∧ (x ∨ y)
- x ∧ (y ∨ z) ∧ (x ∨ y)
- ¬(x ∧ y ∧ ¬z) ∧ (¬x ∧ ¬z)
- x ∨ ¬(¬y ∨ z) ∨ y
- (x ∧ y) ⊕ z ⊕ 1
Укажите, какие из следующих формул задают несамодвойственные функции
(X ∧ ¬Z) ∨ (Y ∧ ¬Z) ∨ ( X ∧ Y)
(¬ X ∧ Y) ∨ (Z ∧ ¬(X ⊕ Y))
X ∨ (¬ Y ∧ Z)
НИ ОДНА
Укажите, какие из следующих формул задают нелинейные функции
(X ∧ Y) ∨ (¬X ∧ ¬Y)
(Y ∧ ¬X) → Z
¬Z ∨ X ∨ Y
НИ ОДНА
Укажите, какие из следующих формул задают несамодвойственные функции
(X ∧ ¬Z) ∨ (Y ∧ ¬Z) ∨ (X ∧ Y)
X ∨ (Y ∧ ¬Z)
X ⊕ Z ⊕ (Y ∧ Z)
НИ ОДНА
Верно ли утверждение, что каждая формула алгебры логики может быть приведена и в дизъюнктивную, и в конъюнктивную нормальные формы
да
нет
Укажите, какие из функций, заданных приведенными формулами, являются тождественно истинными
((x → y) → ((x → ¬z) → (y → ¬z)))
((x → y) → ((¬y → ¬z) → (¬x → ¬z)))
((¬x → y) → ((y → z) → (¬x → z)))
((¬x → ¬y) → ((¬x → (¬y → z)) → (¬x → z)))
Какая из следующих конъюнктивных нормальных форм эквивалентна формуле: (x ∨ y) → (x ∧¬y ∧ z)
(x ∨ y ∨ z) ∧ (¬y ∨ z)
(¬x ∨¬y) ∧ (¬x ∨ z)
¬y ∧ (x∨ z)
¬y ∧ (¬x ∨ z)
¬y ∧ (¬x ∨¬y)
x | y | ? |
0 | 0 | 0 |
0 | 1 | 1 |
1 | 0 | 1 |
1 | 1 | 1 |