Problema con l'implicazione logica

[OpenYourMind]

Salve,
è noto che la tavola di verità dell'implicazione materiale risulta essere:

A | C | A->C
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1

Da questa si può desumere la seguente funzione boleana:
(1) A-> C = (NOT A)(NOT B) +(NOT A)B +AB.

E' però anche noto che questa può essere semplificata fino alla seguente formula:
(2) A -> C = NOT(A(NOT B))

Potreste mostrami attraverso quali passaggi/semplificazioni si passa dalla (1) alla (2) ?

Grazie

[cionilorenzo]

"OpenYourMind":Salve,
è noto che la tavola di verità dell'implicazione materiale risulta essere:

A | C | A->C
0 | 0 | 1
0 | 1 | 1
1 | 0 | 0
1 | 1 | 1

Da questa si può desumere la seguente funzione boleana:
(1) A-> C = (NOT A)(NOT B) +(NOT A)B +AB.

E' però anche noto che questa può essere semplificata fino alla seguente formula:
(2) A -> C = NOT(A(NOT B))

Potreste mostrami attraverso quali passaggi/semplificazioni si passa dalla (1) alla (2) ?

Grazie

A parte che dove scrivi B ci va C prima semplifichi poi applichi un paio di volte i teoremi di De Morgan.
Infatti se parti da

(1) A-> C = (NOT A)(NOT C) +(NOT A)C +AC

raccogli (NOT A) fra i primi due termini e poi applichi De Morgan:

(1') A-> C = (NOT A)((NOT C) +C)+AC = (NOT A) + AC = NOT(A NOT(AC)) = NOT(A(NOT A + NOT C))
Lorenzo