Sintesi SP - PS

uni

Sintesi SP

//inserire metodo di sintesi

Sintesi PS

Data $F$ da sintetizzare PS:

1. sintetizzo $\overline{F}$ in forma SP di costo minimo
2. ora $\overline{\text{sintesi ottenuta}}$ è una sintesi di $F$, poiché $\overline{\overline{F}}=F$
3. applico da destra verso sinistra i teoremi di de morgan (Proprietà degli operatori Booleani).
4. Al posto della somma finale negata (porta OR con $k$ ingressi e invertitore) pongo il prodotto dei suoi ingressi negati:

$$z=\overline{\overline{z}}=\overline{P_1+P_2+\cdots +P_k}=\overline{P_1\cdot P_2\cdot \cdots \cdot P_k}$$

5. Al posto di ciascun prodotto negato pongo le somme dei suoi ingressi negati:

$$\overline{P_i}=\overline{\prod x_j}=\sum x_j$$

6. Quanto ottenuto è in forma PS. Se $F$ è in forma canonica SP allora $F^{\prime }$ è in forma canonica PS.
   ___Se la sintesi SP di $\overline{F}$ è a costo minimo, lo è anche la sintesi PS di $F$.