Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где:

F9: X1 ⇒ (X2 ⇒ X3);

При указании набора запишите его как десятичное число.

Пример: Решить уравнение F(x1,x2,x3) = 1,

где F:

x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3.

Ответ: 5(2)

Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 010₂= 2₁₀

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

• # Кто старше: Архимед, Аристотель, Сократ или Платон?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 => X2) => X3; Ф2 = X1 => (X2 =>X3);
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = ((!X1) | X2) &( ! X3); Ф2 = !X1 | (!X2 & X3);
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 & (X2 | X3);
• # Даны множества: X1 = {a1, b1, c1, d1}; X2 = {a1, c1, d1}; X3 = {a1, d1}; X4 = {a1, e1, d1}. Укажите максимально длинную цепочку множеств такую, что каждый элемент цепочки, начиная с первого, является подмножеством следующего элемента цепочки.