Главная /
Введение в логику /
Решить логическое уравнение F(x1, x2,x3,x4)=1. Где F: x1 | x2 & x3 ∧ x4 ≡ (!x1 ⇒ !x1 | x2 & x4) В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 16) считаются упорядоченными и предста
Решить логическое уравнение F(x1, x2,x3,x4)=1
. Где F:
x1 | x2 & x3 ∧ x4 ≡ (!x1 ⇒ !x1 | x2 & 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
вопросПравильный ответ:
8(1)
Сложность вопроса
85
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Если бы не данные подсказки - я бы не осилил c этими тестами интуит.
19 апр 2019
Аноним
Если бы не данные ответы - я бы не осилил c этими тестами intuit.
12 янв 2017
Аноним
Спасибо за решениями по интуиту.
19 фев 2016
Другие ответы на вопросы из темы школа интуит.
- # Расположите в порядке от старшего к младшему Сократа, Платона, Аристотеля
- # Сколько кортежей в области определения логической функции от одной переменной?
- # Выберите совершенную КНФ для функции: (X1 & X2) | X3. Заметьте, функция представлена ДНФ, но не совершенной ДНФ! В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
- # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (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
- # Какие бинарные отношения обладают свойством транзитивности?