Функциональные соответствия и отношения. Алгебраические операции. Булевы функции. Предикаты

Выражение булевой функции X ÚY полиномом Жегалкина (через Å, &, 1)
X Y Å X Å Y
X Å Y Å 1
X Y Å 1
X Y Å X Å Y Å 1
Укажите свободные и связанные переменные в кванторных формулах
$Z"X,Y P(X, Y, Z)
X – связанная, Y, Z - свободные
"Z $Y P(X, Y, Z)
Y, Z – связанные, X - свободная
"X P(X, Y, Z)
X, Y, Z – связанные
Число элементарных конъюнкций в СДНФ функции image099.gifравно
2
1
3
4
Укажите функции, соответствующие суперпозициям одноместной функции f(X) = sinX и двуместной функции g(X, Y) = X – Y
g(f(Y), X)
X – sinY
f(g(Y, X))
Sin(Y-X)
g(X, f(Y))
SinY – X
Бинарное отношение «правее» между точками на числовой прямой является
симметричным
транзитивным
нетранзитивным
антисимметричным
Булевы функции image075.gifи image114.gifзадаются столбцами значений image248.gifи image238.gif. Столбцом значений функции image239.gifявляется [ _ ]T.
Тождество ¬(X Ú Y) = ¬X & ¬Y называется законом
тождества
де Моргана
Поста
исключенного третьего
Числовое множество image224.gifзадается порождающей процедурой: (1) 4 Î М; (2) если image225.gif, то image226.gif; (3) если image225.gif, то image227.gif. Элемент image224.gif, определяемый последовательностью операций (2) à (3) à (3) à (2), равен ____ (ответ – целое число).
Бинарное отношение R(x, y) есть отношение строгого порядка, если оно
транзитивно, антисимметрично и рефлексивно
рефлексивно, симметрично и транзитивно
транзитивно, антисимметрично и антирефлексивно
транзитивно и антисимметрично
Тождество (X ÅY) & Z = (X & Z) Å (Y & Z) означает, что
(X & Z) ~ (Y & Z)
операция & дистрибутивна относительно операции Å
операция Å дистрибутивна относительно операции &
(X ÅY) ~ Z
Булевы функции image075.gifи image114.gifзадаются столбцами значений image243.gifи image244.gif. Столбцом значений функции image239.gifявляется [ _ ]T.
Числовое множество image224.gifзадается порождающей процедурой: (1) image230.gif; (2) если image225.gif, то image231.gif; (3) если image225.gif, то image232.gif. Элемент image224.gif, определяемый последовательностью операций (2) à (3) à (2) à (3), равен ____ (ответ – целое число).
Подстановка константы 1 вместо image074.gifпревращает функцию image075.gifв
image141.jpg
логическую константу
image142.jpg
1
Арифметическая операция умножения чисел X • Y является
некоммутативной
коммутативной
неассоциативной
ассоциативной
СДНФ булевой функции, задаваемой таблицей image214.jpg содержит элементарную конъюнкцию
X Y
image087.gifimage088.gif
X image088.gif
image087.gifY
Сопоставьте свойства операций сложения и умножения с тождествами, выражающими эти свойства:
(X + Y) • Z = X • Y + X • Z
Коммутативность
(X + Y) + Z = X + (Y + Z)
Ассоциативность
X + Y = Y + X
Дистрибутивность умножения относительно сложения
Число элементарных конъюнкций в СДНФ функции X & Y равно
1
2
4
3
Для множеств image183.gifи image204.gifпредикат image185.gif: "image193.gif – четное число" может быть представлен таблицей
image205.jpg
image208.jpg
image206.jpg
image207.jpg
Алфавитное упорядочение слов ЛОШАДЬ, ЛИНЗА, ЛОМОТЬ, ЛОМ
2, 4, 3, 1
1, 2, 4, 3
3, 2, 1, 4
3, 4, 1, 2
Сопоставьте наименования свойств бинарного отношения xRy с их определениями:
Симметричность
"x, y, z: (xRy & yRz) à xRz
Рефлексивность
"X: xRx
Транзитивность
"x,y: xRy à yRx
Булевы функции image075.gifи image114.gifзадаются столбцами значений image246.gifи image247.gif. Столбцом значений функции image241.gifявляется [ _ ]T.
Число элементарных конъюнкций в СДНФ функции f(X, Y, Z), заданной столбцом значений image100.gif, равно
8
3
может быть различным
4
Предикатная формула image107.gifпредставляет собой
двуместный предикат P(X, Y)
трехместный предикат P(X, Y, Z)
высказывание
одноместный предикат P(Z)
Функция, заданная на трехмерном единичном кубе image164.gif, image165.jpg имеет СДНФ
image174.jpg
image177.jpg
image176.jpg
image175.jpg
Тождество (X & Y) Ú Z = (X Ú Z)& (Y Ú Z) означает, что
(X Ú Y) ~ Z
(X Ú Z) ~ (Y Ú Z)
операция Ú дистрибутивна относительно операции &
операция & дистрибутивна относительно операции Ú
Булева функция, задаваемая таблицей image096.jpg выражается формулой
X & Y
X & ¬Y
¬X & Y
¬X & ¬Y
Декартовым произведением image006.gifмножеств A={1, 4, 6} и B={3, 4} является
image007.gif
{1 • 4 • 6 • 3 • 4}
{3, 4, 12, 16, 18, 24}
{(1, 3), (1, 4), (4, 3), (4, 4), (6, 3), (6, 4)}
Предикатная формула image146.gifна предметной области натуральных чисел image144.gifпредставляет собой
линейное уравнение
ложное высказывание
истинное высказывание
одноместный предикат
На координатной плоскости изображено декартово произведение image003.jpg множеств (отрезков) А = [2, 6] и B = [1, 4]. image004.jpg
А и B – множества целых чисел
A и В – множества действительных чисел
A - множество целых чисел, В - множество действительных чисел
А - множество действительных чисел, В - множество целых чисел
Подстановка значений Х = 0 и Х = 1 показывает, что булева функция image140.gif тождественно равна функции
image138.jpg
0
1
X
Переменные в предикатной формуле image108.gif:
X, Y – свободные, Z - связанная
X, Y – связанные, Z - свободная
X, Y, Z - связанные
X, Y, Z – свободные
Число элементарных конъюнкций в СДНФ функции image086.gifравно
1
4
3
2
Декартовым произведением image006.gifмножеств A={3,4} и B={4,5,6}является
image009.jpg
image008.jpg
image010.jpg
image011.jpg
Обозначим через Ц(S, T) бинарное отношение между квадратами на плоскости: два квадрата S и T находятся в отношении Ц(S, T), если их центры совпадают. Отношение Ц(S, T)
несимметрично
нетранзитивно
симметрично
транзитивно
Булевы функции image075.gifи image114.gifзадаются столбцами значений image122.gifи image123.gif. Столбцом значений функции image124.gifявляется
image128.jpg
image125.jpg
image127.jpg
image126.jpg
Схема из трех функциональных элементов image020.gif, image021.jpg где image049.gif, image050.gif, image051.gif, реализует функцию
image054.jpg
image052.jpg
image053.jpg
image055.jpg
Булева функция, задаваемая таблицей image090.jpg называется
дизъюнкцией
суммой по модулю 2
конъюнкцией
импликацией
image105.gif- двуместный предикат (X, Y – целые числа). Значение высказывания " X, Y: P(X, Y):
1
0, если X ≠ Y
1, если X ≠ Y
зависит от знаков чисел X, Y
При алфавитном упорядочении перестановок чисел 1, 2, 3, 4 непосредственно следующей за 2 4 3 1 является
2 1 3 4
3 1 2 4
3 1 4 2
3 2 1 4