Notam cu p propozitia "Andrei citeste", cu q propozitia "Bogdan canta" si cu r propozitia "Corina danseaza". Atunci, obtinem propozitiile:
1. [tex]p \rightarrow (\neg q \wedge r)[/tex]
2. [tex]q \rightarrow (p \lor (\neg r))[/tex]
3. [tex]((\neg r) \lor (\neg q) )\rightarrow p[/tex]