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

Ф1 = (X1 & X2) ⇒ X3;

Ф2 = X1 ⇒ (X2 ⇒ X3);

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

• # Истинность какого вывода не вызывает сомнения если известно, что: Все жители города пользуются общественным транспортом. Некоторые из них имеют автомобиль. Сергей – горожанин.
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = (X1 | X2) & X3; Ф2 = X1 | (X2 & X3);
• # Какую операцию следует выполнить последней при вычислении выражения: X ⇒ (Y | U & !V) & X & Y
• # Все выпускники школы сдавали ЕГЭ по русскому языку. Некоторые выпускники сдавали ЕГЭ по обществоведению. Петя - выпускник. Истинность какого вывода не вызывает сомнения?
• # Какое отношения имеют арность равную 5?