Em um projeto de software foram levantados requisitos entrevistando os usuários C1 e C2.

Da entrevista com C1, resultou o conjunto de requisitos RC1, e da entrevista com C2 resultou o conjunto de requisitos RC2. Considere que cada requisito foi representado por uma fórmula da lógica proposicional.

Para que todos os requisitos possam ser atendidos simultaneamente por um sistema, é necessário apenas que