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

F4: X1 & (X2 ≡ X3);

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

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

где F:

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

Ответ: 5(2)

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

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

• # Сколько существует логических функций от двух переменных?
• # Выберите совершенную ДНФ для бинарной функции – импликация X1 => X2. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта. (!X1 & !X2) | (!X1 & X2) | (X1 & X2)
• # Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F: x1 | x2 & x3 ∧ !x4 ≡ !x1 | x2 & x4 В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3)=0, где F: x1|x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 3(0) Пояснение ответа: уравнение имеет 3 корня. Первый корень - набор 0002 = 010
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 | x2) & (x1 ∧ x3) = 1 (x2 | x3) & (x2 ∧ x4) = 1
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(X1, X2, X3): X1X2X3F(X1, X2,X3)000000100100 Определить, какая из функций Fj совпадает с функцией F на заданном фрагменте таблицы истинности, если: