Per risolvere un sistema del tipo A·B=0 & C=0 lo si trasforma in (A=0 V B=0) & C=0 e poi in (A=0 & C=0) V (B=0 & C=0).
Ovvero, usando "{" invece di "&", si fa:
{
Spiega la seconda trasformazione (lo "sdoppiamento" del sistema) usando dei diagrammi di Venn.