Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где:

Ф1 = (X1 & X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒X3);

Ф3 = X1 & (X2 | X3).

Правильный ответ:

• # Даны множества:X1, X2, X3, X4. Для каких из этих множеств множество Y является собственным подмножеством? X1 = {0, #, b, $}; X2 = {3, #, b, 0}; X3 = {3, 0, $}; X4 ={b, $}; Y = {0, $}
• # Сколько существует логических функций от трех переменных?
• # Сколько существует различных логических функций от двух переменных?
• # Какую операцию следует выполнить первой при вычислении выражения: X ⇒ (Y | U & !V) & X & Y
• # Даны множества: X1 = {a, b, c, d}; X2 = {a, c, d}; X3 = {a, d}; X4 = {a, e, d}; Для каких из этих множеств множество Y = {a, d} является подмножеством?