Quando você criar suas próprias LPEs e planejar compô-las de forma aditiva, é importante não perder nenhuma contribuição de luz, mas também é importante não ter nenhuma contribuição dupla de luz.
(a) & ((b) | (c)) (b) & ((a) | (c)) (c) & ((a) | (b))
… para descobrir se eles têm uma luz em comum. Os resultados de cada teste deve ser preto. Se o resultado não for preto, a composição dos elementos não terá o resultado correto para a soma.
Não se esqueça para utilizar parênteses para garantir a correta ordem de avaliação.
L.*E & ^((a) | (b) | (c))
... Isso toma todas os caminhos de luz possíveis (L. *E) e a partir deles seleciona somente os não presentes nos LPEs a, b ou c.