Какие утверждения относятся к логике высказываний?

вопрос

Правильный ответ:

Оставить комментарий

Отправить

• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – импликацией и конъюнкцией:
• # В реляционной базе данных хранится информация о семьях в трех таблицах: Персоны, Родители, Дети. Таблица "Персоны" имеет 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 К базе данных, хранящей информацию о семьях, можно обращаться с разными вопросами. Ответьте на следующий вопрос: "Сколько внуков у Самохиной Татьяны Александровны?"
• # Решить логическое уравнение 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
• # Какие операции являются синонимами операции "дизъюнкция"?
• # Какое бинарное отношение обладает свойством эквивалентности?