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

Ф1 = (X1 & X2) | X3;

Ф2 = X1 ⇒ (X2 ⇒ X3);

Ф3 = X1 & (X2 | X3).

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

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