Considere que três fatos acerca de situações pertinentes ao domínio de um sistema são representados pelas proposições p, q e r da lógica proposicional. Para que o módulo A desse sistema seja executado, basta que aconteçam ambos os fatos p e q simultaneamente. Por sua vez, para que o módulo B seja executado, é suficiente que um entre os fatos q e r aconteça. Uma situação na qual, certamente, ambos os módulos são executados, está representada por
- A (p ˅ q) ˅r
- B (p ˅ q) ˄r
- C (p ˄ q) ˅r
- D p ˄(q ˅r)
- E p ˄(q ˄r)