Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Минимальным (максимальным) расстоянием на множестве формул будем называть минимальное (максимальное) расстояние, вычисленное среди всех пар формул, входящих в множество. Определите минимальное расстояние для множества формул { Ф1, Ф2, Ф3}, где:

Ф1 = (X1 & X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒X3);

Ф3 = X1 ∧ (X2 ∧ X3).

В Ф3 знак ∧ - знак исключающего Или.

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

• # Сколько кортежей в области определения логической функции от четырех переменных?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между бинарными функциями – импликацией и конъюнкцией:
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ⇒ x2) ⇒ x3 = 1 (x2 ⇒ x3) ⇒ x4 = 1
• # Какая из следующих бинарных логических функций (Конъюнкция, Дизъюнкция, Импликация, Эквивалентность) ложна тогда и только тогда, когда противоположны ее аргументы?
• # Дан фрагмент таблицы истинности, определяющий некоторую функцию F(X1, X2, X3): X1X2X3F(X1, X2,X3)000100100100 Определить, какая из функций Fj совпадает с функцией F на заданном фрагменте таблицы истинности, если: