Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4):

Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:

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

• # Укажите, какой функции принадлежит отношение {<3, 40>, <4, 52>,<2, 28>,<1, 16>}:
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [Большая Картинка] Определить, какая из функций Fj совпадает с функцией F на заданном фрагменте таблицы истинности, если: Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
• # Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F: (x1 | x2) & (x3 ⇒ 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
• # Решить логическое уравнение F(x1,x2,x3,x4)=0. Где F: x1 | x2 & x3 ∧ x4 ≡ (!x1 ⇒ !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
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 & (X2 | X3);