Главная /
Введение в логику /
Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4): [картинка] Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
Дан фрагмент таблицы истинности, определяющий некоторую функцию F(x1, x2, x3, x4)
:
Отметьте функцию, которая совпадает с функцией F на заданном фрагменте таблицы истинности:
вопросПравильный ответ:
(X1 & X2) | (X3 => X4)
(X1 | X2) & (X3 => X4)
(X1 ≡ X2) & (X3 ≡ X4)
(X1 | X2) => (X3 ^ X4)
Сложность вопроса
59
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
спасибо за тест
09 июл 2018
Аноним
Я завалил зачёт, почему я не увидел данный сайт с решениями интуит в начале года
09 сен 2016
Другие ответы на вопросы из темы школа интуит.
- # На какие разделы (фрагменты) принято делить математическую логику?
- # Выберите совершенную КНФ для функции: (X1 => X2) => X3. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
- # Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: (x1 & x2) | (x3 ⇒ x4) В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и представляют двоичную запись чисел от 0 до 15, представленную двоичным словом длины 4: 0000, 0001, 0010 и т.д. При указании набора запишите его как десятичное число. Пример: Решить уравнение F(x1,x2,x3) = 1, где F: x1| x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3. Ответ: 5(2) Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102 = 210
- # Какие операции являются синонимами операции "Эквивалентность"?
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 & X2 ⇒ X3;