Главная /
Введение в логику /
Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 0 (x2 ≡ x3) ≡ (x2 ≡ x4) = 0 (x3 ≡ x4) ≡ (x3 ≡ x5) = 0 (x4 ≡ x5) ≡ (x4 ≡ x6) = 0 (x5 ≡ x6) ≡ (x5 ≡ x7) = 0
Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать.
(x1 ≡ x2) ≡ (x1 ≡ x3) = 0
(x2 ≡ x3) ≡ (x2 ≡ x4) = 0
(x3 ≡ x4) ≡ (x3 ≡ x5) = 0
(x4 ≡ x5) ≡ (x4 ≡ x6) = 0
(x5 ≡ x6) ≡ (x5 ≡ x7) = 0
Правильный ответ:
4
Сложность вопроса
85
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Если бы не данные ответы - я бы не смог решить c этими тестами intuit.
09 янв 2018
Аноним
Экзамен прошёл на пять. лол
06 дек 2017
Другие ответы на вопросы из темы школа интуит.
- # Даны множества: X1, X2, X3. Сколько элементов содержит множество Y, которое является декартовым произведением заданных множеств. X1 = {0.3, 7, 8, 9}; X2 = {3, 9}; X3 = {3, 6, 0.9}.
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 => (X2 =>X3); Ф2 = X1 & X2 &X3);
- # Решить логическое уравнение 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
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 | X2) & X3; Ф2 = X1 | (X2 & X3);
- # Даны множества: X1 = {13, 15, 17, 19}; X2 = {13, 17, 19}; X3 = {13, 19}; X4 = {13, 16, 19}; Для каких из этих множеств множество Y = {13, 19} является подмножеством?