[PSD7] Exercise 2.23

[matypist]

[Elia-Belli]

Da dimostrare: $\overline{A + B + C} = \bar A \bar B \bar C$

Induzione Perfetta

Con L indico l'output del termine a sinistra e con R l'output del termine a destra, se gli output corrispondono alla è dimostrata l'uguaglianza.

A B C | L R
0 0 0 | 1 1
0 0 1 | 0 0
0 1 0 | 0 0
0 1 1 | 0 0
1 0 0 | 0 0
1 0 1 | 0 0
1 1 0 | 0 0
1 1 1 | 0 0

(analogo nella forma duale)

[Nw4pS]

@fraxb04 ma la prima equazione scritta da @Elia-Belli non è negata quindi quando A=1 B=0 o C=1 è sempre 1