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:

{

A·B=0
C=0
  →  

{

A=0 V B=0
C=0
 → 

{

A=0
C=0
 V

{

B=0
C=0

Spiega la seconda trasformazione (lo "sdoppiamento" del sistema) usando dei diagrammi di Venn.


  Per altri commenti: sistemi e strutture numeriche e non neGli Oggetti Matematici.