Главная /
Введение в логику /
Выберите совершенную КНФ для функции: X1 => (X2 => X3). В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единст
Выберите совершенную КНФ для функции: X1 => (X2 => X3). В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
вопросПравильный ответ:
!X1 | !X2 | X3
!X1 | !X2 | !X3
!X1 | X2 | !X3
X1 | !X2 | X3
Сложность вопроса
94
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
спасибо за ответ
03 апр 2019
Аноним
Нереально сложно
29 апр 2016
Другие ответы на вопросы из темы школа интуит.
- # Кто старше: Архимед, Аристотель, Платон или Евклид?
- # Какие отношения являются функциями?
- # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (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
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – конъюнкцией и дизъюнкцией.
- # Какие бинарные отношения обладают свойством транзитивности?