- (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 ∧ Y) ∨ (¬X ∧ ¬Y)
(Y ∧ ¬X) → Z
¬Z ∨ X ∨ Y
НИ ОДНА
Подграф, множество вершин которого совпадает с множеством вершин самого графа, называется ...
Пусть А и В непустые множества и А≠В тогда какое из данных множеств является пустым:
Какая из следующих конъюнктивных нормальных форм эквивалентна формуле: (x ∨ y) → (x ∧¬y ∧ z)
(x ∨ y ∨ z) ∧ (¬y ∨ z)
(¬x ∨¬y) ∧ (¬x ∨ z)
¬y ∧ (x∨ z)
¬y ∧ (¬x ∨ z)
¬y ∧ (¬x ∨¬y)
Укажите, какие из следующих формул задают несамодвойственные функции
(X ∧ ¬Z) ∨ (Y ∧ ¬Z) ∨ (X ∧ Y)
X ∨ (Y ∧ ¬Z)
X ⊕ Z ⊕ (Y ∧ Z)
НИ ОДНА
Укажите, какие из следующих формул задают несамодвойственные функции
(X ∧ ¬Z) ∨ (Y ∧ ¬Z) ∨ ( X ∧ Y)
(¬ X ∧ Y) ∨ (Z ∧ ¬(X ⊕ Y))
X ∨ (¬ Y ∧ Z)
НИ ОДНА
Какими из перечисленных свойств обладает отношение на множестве жителей России «Быть зятем»
антирефлексивность
антисимметричность
рефлексивность
связность
симметричность
транзитивность
Построить таблицу истинности для функции, заданной формулой
((¬А ⊕ (¬В ∧ С)) → (А ∨ ¬В))
и определить число наборов аргументов, на которых она равна 1:
2
3
4
5
6
7
Пусть заданы множества A = {0, 1, 2, 3}, B = {1, 2, 4}, C = {a, b, c} и D = {b, d, e}. Чему равно множество F = (A B) × (C D)
{(0, a), (0, c), (2, a), (2, c)}
{(0,a), (0,c), (3, a), (3,c)}
{(0,b), (0, c), (3, b), (3,c)}
{(1, a), (1, c), (2, b), (2,c)}
{0, 3, a, c}
Построить таблицу истинности для функции, заданной формулой
((¬А→(¬ВɅС))⊕(¬А↓¬В))
и определить число наборов аргументов, на которых она равна 1:
4
2
3
5
7
6
Составить таблицу истинности функции
В ответ ввести значения функции f в естественном порядке (8 знаков без пробелов и других разделителей).
Укажите, какие из функций, заданных приведенными формулами, являются тождественно истинными
((¬x→¬y)→ ((¬x)→¬x))
((¬x→y)→ ((y→¬z)→(¬x→¬z)))
((x→y)→ ((¬ y→¬z)→(¬x→¬z)))
((¬x→¬y)→ ((¬x→(¬y→ z))→ (¬ x→ z)))