Главная /
Введение в логику /
Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичны
Решить логическое уравнение F(x1, x2,x3)=1. В ответе указать число корней и в скобках первый набор, на котором достигается решение. Все возможные наборы (их 8) считаются упорядоченными и представляют двоичную запись чисел от 0 до 7, представленную двоичным словом длины 3: 000, 001, 010 и т.д. где:
F3: X1 ∧ (X2 ⇒X3);
При указании набора запишите его как десятичное число.
Пример: Решить уравнение F(x1,x2,x3) = 1,
где F:
x1 | x2 & x3 ∧ !x1 ⇒ x2 ≡ !x1 | x2 & x3.
Ответ: 5(2)
Пояснение ответа: уравнение имеет 5 корней. Первый корень - набор 0102= 210
вопросПравильный ответ:
4(0)
Сложность вопроса
55
Сложность курса: Введение в логику
49
Оценить вопрос
Комментарии:
Аноним
Я сотрудник университета! Срочно удалите сайт и ответы интуит. Немедленно!
20 сен 2018
Аноним
Нереально сложно
25 авг 2018
Другие ответы на вопросы из темы школа интуит.
- # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоны Фам Имя Отч пол Год рожд.1 Соколов Петр Николаевич муж 19602 Соколова Анна Петровна жен 19613 Соколов Николай Петрович муж 19824 Соколов Антон Петрович муж 19885 Соколова Елена Петровна жен 19846 Чижиков Сергей Юрьевич муж 19597 Самохина Татьяна Александровна жен 19608 Чижикова Любовь Сергеевна жен 19819 Чижикова Нина Сергеевна жен 198510 Чижиков Василий Сергеевич муж 198311 Чижиков Николай Васильевич муж 200312 Чижиков Владимир Васильевич муж 200513 Некто Олег Олегович муж 1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьи ID мужа ID жены11 1 212 6 713 10 5 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьи ID ребенка1 31 41 52 82 92 103 113 12 Сколько племянников у Соколова Николая Петровича?
- # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 6 столбцов – задает отношение арности 6: ID персоныФамилияИмяОтчествополГод рождения1СоколовПетрНиколаевичмуж19602СоколоваАннаПетровнажен19613СоколовНиколайПетровичмуж19824СоколовАнтонПетровичмуж19885СоколоваЕленаПетровнажен19846ЧижиковСергейЮрьевичмуж19597СамохинаТатьянаАлександровнажен19608ЧижиковаЛюбовьСергеевнажен19819ЧижиковаНинаСергеевнажен198510ЧижиковВасилийСергеевичмуж198311ЧижиковНиколайВасильевичмуж200312ЧижиковВладимирВасильевичмуж200513НектоОлегОлеговичмуж1999 Таблица "Родители" имеет 3 столбца – задает отношение арности 3: ID семьиID мужаID жены1122673105 Таблица "Дети" имеет 2 столбца – задает отношение арности 2: ID семьиID ребенка1314152829210311312 К базе данных, хранящей информацию о семьях, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Кто является ребенком Соколова Петра Николаевича?"
- # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите максимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 & X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 ∧ (X2 ∧ X3). В Ф3 знак ∧ - знак исключающего Или.
- # Какую операцию следует выполнить последней при вычислении выражения: X <=> (Y & U | V) & X ⇒ Y
- # Какие бинарные отношения обладают свойством транзитивности?