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