Бинарное отношение из А в В имеет арность, равную:

вопрос

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

Оставить комментарий

Отправить

• # Укажите, какие из утверждений следует отнести к логике предикатов, а не к логике высказываний?
• # Сколько существует логических функций от трех переменных?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 &X2) | X3; Ф2 = X1 &(X2 | X3);
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 0 (x2 ≡ x3) ≡ (x2 ≡ x4) = 0 (x3 ≡ x4) ≡ (x3 ≡ x5) = 0
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 | x2) & (x1 ∧ x3) = 1 (x2 | x3) & (x2 ∧ x4) = 1 (x3 | x4) & (x3 ∧ x5) = 1 (x4 | x5) & (x4 ∧ x6) = 1 (x5 | x6) & (x5 ∧ x7) = 1 (x6 | x7) & (x6 ∧ x8) = 1 (x7 | x8) & (x7 ∧ x9) = 1