Matematichiamo?
La matematica è più divertente di quanto si pensi!
Su un'isola vivono due tribù in conflitto perenne tra loro: quella dei "Sinceronimi" che non può mai mentire ed è molto accogliente e gentile, e quella dei "Mentoriani" che non sa dire la verità ed è spietata e cannibale. Un naufrago incontra tre pescatori e chiede loro dove potrà trovare riparo. Il primo risponde: "vada a sinistra e troverà il villaggio dei Sinceronimi", il secondo incalza: "ha ragione lui". L'ultimo però obietta: "è vero solo quello che dice uno di loro". I tre pescatori sono Mentoriani o Sinceronimi? Dove dovrà andare l'uomo?
A prescindere dal risultato, chi sa come semplificare la struttura logica?
(((C ⇔ B) ⇔ D) ⇔ ((F ⇔ ((G ⇔ G) ⇔ (A ⇔ (((B ⇔ H) ⇔ C) ⇔ D)))) ⇔ ((F ⇔ (H ⇔ (H ⇔ (D ⇔ ((B ⇔ E) ⇔ ((D ⇔ G) ⇔ ((A ⇔ E) ⇔ C))))))) ⇔ ((B ⇔ F) ⇔ ((C ⇔ (H ⇔ ((H ⇔ C) ⇔ H))) ⇔ ((G ⇔ ((F ⇔ (E ⇔ A)) ⇔ (E ⇔ G))) ⇔ (B ⇔ ((F ⇔ C) ⇔ ((B ⇔ (C ⇔ ((B ⇔ D) ⇔ (G ⇔ E)))) ⇔ ((B ⇔ A) ⇔ ((G ⇔ A) ⇔ (E ⇔ ((H ⇔ (C ⇔ F)) ⇔ ((F ⇔ A) ⇔ D))))))))))))))