正解は「フランスパンと食パン」です。アリスとボブは同じ種類のパンを持っていません。チャーリーはフランスパンを持っています。ドローシーはメロンパンを持っていますが,アリスはメロンパンを持っていません。ボブはクロワッサンを持っています。これらの条件から分かることを、下のような表にまとめます。)食パンアリスは、メロンパンもクロワッサンも持っていないことが分かったので、アリスが持っているのは「フランスパンと食パン」と分かります。実際のコンピュータでは数理論理学は数学的な証明を研究する学問で、ブール代数はその一部です。これは演繹論に基づいていて、真か偽という2種類の値を扱います。上の真理表はビーバーとパンの関係を表しています。ライセンスで提供されています。