Sabe-se que Beto beber é condição necessária para Carmem cantar e condição suficiente para Denise dançar. Sabe-se, também, que Denise dançar é condição necessária e suficiente para Ana chorar. Assim, quando Carmem canta,
- A Beto não bebe ou Ana não chora.
- B Denise dança e Beto não bebe.
- C Denise não dança ou Ana não chora.
- D nem Beto bebe nem Denise dança.
- E Beto bebe e Ana chora.