Ben ist auf seinem Segelboot.
Ben hat eine Karte. Sie zeigt die Leuchttürme.
Um jeden Leuchtturm ist ein Kreis gezeichnet.
Wenn Bens Boot in dem Kreis ist, kann Ben den Leuchtturm sehen.
Ben sieht die Leuchttürme 
und 
. Den Leuchtturm 
sieht er nicht.
Welches ist Bens Boot?
Erklärung
So ist es richtig:
Ben sieht die Leuchttürme und . Bens Boot ist also in dem Gebiet, in dem sich die Kreise dieser Leuchttürme überschneiden.
Ben sieht den Leuchtturm nicht. Also ist Bens Boot nicht im Kreis dieses Leuchtturms.
Dies ist das einzige Boot, das in den beiden Kreise um die Leuchttürme und ist, aber nicht im Kreis um . Also ist dieses Boot Bens Boot.
In der Informatik ist die exakte Beschreibung eines Problems und des Lösungsverfahrens von großer Bedeutung. Ein nützliches Werkzeug dafür ist die Aussagenlogik, bei der mit Ausssagen gearbeitet wird, die jeweils wahr oder falsch sein können. In dieser Biberaufgabe kann ein Gebiet, in dem ein Boot ist, mit diesen drei Aussagen beschrieben werden:
- Aussage A lautet: „Leuchtturm ist sichtbar.“
- Aussage B lautet: „Leuchtturm ist sichtbar.“
- Aussage C lautet: „Leuchtturm ist sichtbar.“
Für Bens Boot sind die Aussagen B und C wahr, aber die Aussage A ist falsch: Ben sieht die Leuchttürme und , aber nicht den Leuchtturm . In der Aussagenlogik wird das so aufgeschrieben:
„B UND C UND NICHT A“.
Diese Aussage kombiniert die „einfachen“ Aussagen A, B und C mit Hilfe von UND und NICHT. Sie beschreibt das in der Erklärung gezeigte Gebiet, in dem genau Bens Boot ist.
In der Karte entspricht zum Beispiel „A UND B UND C“ dem Gebiet, in dem sich alle drei Kreise überschneiden, denn nur dort kann man alle drei Leuchttürme sehen. „NICHT A UND NICHT B UND NICHT C“ entspricht dem Gebiet, das außerhalb der drei Kreise liegt. Dort ist keiner der drei Leuchttürme sichtbar.
In der Informatik kommt die Aussagenlogik unter anderem bei der Wissensrepräsentation, bei der Verifizierung von Programmen und vor allem bei der Modellierung digitaler Schaltungen zur Anwendung.