Все мои друзья отдыхают на море. Двое из них иногда отдыхают на озере. Коля – мой друг. Какие выводы могут быть как истинными, так и ложными?

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

• # Выберите совершенную КНФ для функции: (X1 & X2) | X3. Заметьте, функция представлена ДНФ, но не совершенной ДНФ! В записи используйте для операции отрицания знак !, для конъюнкции - &, для дизъюнкции - |. Дизъюнкты и конъюнкты заключайте в скобки, за исключением случая, когда формула состоит из единственного конъюнкта или дизъюнкта.
• # Решить систему логических уравнений. В ответе указать число решений. Сами решения не указывать. (x1 ≡ x2) ≡ (x1 ≡ x3) = 1 (x2 ≡ x3) ≡ (x2 ≡ x4) = 1 (x3 ≡ x4) ≡ (x3 ≡ x5) = 1 (x4 ≡ x5) ≡ (x4 ≡ x6) = 1
• # Сколько существует различных логических функций без аргументов?
• # Расстоянием R между двумя формулами, задающими логические функции, будем называть число кортежей, на которых значения формул не совпадают. Формулы эквивалентны, если расстояние R равно нулю. Определите расстояние между Ф1 и Ф2 – формулами, задающими функции от трех аргументов, где: Ф1 = X1 ⇒ (X2 ⇒ X3); Ф2 = X1 | X2 | X3;
• # Все жители города пользуются общественным транспортом. Некоторые из них имеют автомобиль. Антон – горожанин. Какие выводы могут быть как истинными, так и ложными?