Главная /
Введение в логику /
Укажите корректную формализацию утверждения «А, И, В сидели на трубе»:
Укажите корректную формализацию утверждения «А, И, В сидели на трубе»:
вопросПравильный ответ:
X & Y,
где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе
X & Y,
где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда И сидит на трубе
X Or YOr Z ,
где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда B сидит на трубе, Z - логическая переменная, принимающая значение True, когда И сидит на трубе
X & Y & Z ,
где X – логическая переменная, принимающая значение True, когда А сидит на трубе, Y - логическая переменная, принимающая значение True, когда И сидит на трубе, Z - логическая переменная, принимающая значение True, когда В сидит на трубе
Сложность вопроса
92
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Какой человек находит эти вопросы интуит? Это же совсем для даунов
26 авг 2018
Аноним
Это было сложно
26 окт 2016
Другие ответы на вопросы из темы школа интуит.
- # Кто автор книги "Беседы и суждения"?
- # Какова мощность множества (число его элементов), задающего область определения логической функции от четырех переменных?
- # Решить логическое уравнение 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
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – конъюнкцией и дизъюнкцией.
- # Даны множества: X1 = {a1, c1, d1}; X2 = {a1, d1}; X3 = {a1, e1, d1}. Укажите первый элемент множества Y, которое является декартовым произведением заданных множеств, сохраняя упорядоченность элементов исходных множеств.