Выберите совершенную КНФ для функции: (X1 => X2) => X3. В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.

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

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