Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – эквивалентностью и Исключающим ИЛИ:

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

• # Истинность какого вывода не вызывает сомнения если известно, что: Все мои друзья отдыхают на море. Двое из них иногда отдыхают на озере. Фома – никогда не отдыхает на море.
• # Выберите совершенную КНФ для функции: (X1 => X2) => X3. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Какая из следующих бинарных логических функций может быть задана как отрицание функции Эквивалентность?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где: Ф1 = (X1 &X2) | X3; Ф2 = X1 ⇒ (X2 ⇒X3); Ф3 = X1 ≡ (X2 ≡ X3).
• # Задача об Архимеде и золотой короне: Царь заказал ювелиру золотую корону. Царь заподозрил, что ювелир при изготовлении короны украл часть золота, заменив его серебром. Доказать виновность ювелира царь поручил Архимеду. Какой довод привел Архимед, убеждая царя, что ювелир действительно виновен?