Первый вопрос: "Эта монета настоящая?" Второй вопрос: "Твой сосед - хитрец?" И только после второго ответа начинаем мыслить. - Если на второй вопрос ответ "да", то ответчик не лжец (потому, что тогда ответ правдив). Значит, или он хитрец, который соврал отвечая на второй вопрос, или он правдивец. В обоих случаях, ответ на первый вопрос - правда. - Если на второй вопрос ответ "нет", то ответчик не правдивец (так как это была бы ложь). Значит, он или лжец или хитрец, ответивший правду. Значит, ответ на первый вопрос - ложь.- То есть, если ответ на второй вопрос "да", то монета настоящая, а если ответ "нет", то фальшивая.
∧ - логическое ИЛИ, ∨ - логическое И, ¬ - не что-то.
А и В принимают значения 0 (ложь) и 1 (истина) (здесь нам это не дано, надо просто сократить).
(A∧ ¬B)∨(¬A∧B)∧(A∨B) это
(A или не В) и (не А или В) или (А и В),
далее: (первые две скобки сократим, в данном случае надо чтобы хотя бы А или В имели любое значение)
(А или В) или (не А или не В) или (А и В)
то есть:
(А ∧ В) ∧ (¬А ∧ ¬В) ∧ (А ∨ В)
(но зачем нам А и В, когда есть А или В, то есть А и В становится бесполезным выражением, когда есть выражение, которому надо всего одно истинное значение)
и так:
(А или В) или (не А или не В)
то есть выражение всегда будет истинно, так как какое бы значение и имели А , В - выражение истинно.
И только после второго ответа начинаем мыслить.
- Если на второй вопрос ответ "да", то ответчик не лжец (потому, что тогда ответ правдив). Значит, или он хитрец, который соврал отвечая на второй вопрос, или он правдивец. В обоих случаях, ответ на первый вопрос - правда. - Если на второй вопрос ответ "нет", то ответчик не правдивец (так как это была бы ложь). Значит, он или лжец или хитрец, ответивший правду. Значит, ответ на первый вопрос - ложь.- То есть, если ответ на второй вопрос "да", то монета настоящая, а если ответ "нет", то фальшивая.
∧ - логическое ИЛИ, ∨ - логическое И, ¬ - не что-то.
А и В принимают значения 0 (ложь) и 1 (истина) (здесь нам это не дано, надо просто сократить).
(A∧ ¬B)∨(¬A∧B)∧(A∨B) это
(A или не В) и (не А или В) или (А и В),
далее: (первые две скобки сократим, в данном случае надо чтобы хотя бы А или В имели любое значение)
(А или В) или (не А или не В) или (А и В)
то есть:
(А ∧ В) ∧ (¬А ∧ ¬В) ∧ (А ∨ В)
(но зачем нам А и В, когда есть А или В, то есть А и В становится бесполезным выражением, когда есть выражение, которому надо всего одно истинное значение)
и так:
(А или В) или (не А или не В)
то есть выражение всегда будет истинно, так как какое бы значение и имели А , В - выражение истинно.
Можно заменить это следующим:
А или не А или В или не В
А ∧ ¬А ∧ В ∧ ¬В
готово, а главное выражение всегда истинно!