Algebra di Boole

[Millex]

Come procedere per verificare che questa uguaglianza è valida?

A·C+B·C = (A+B) ·(C+D)

Ho provato a scrivere (A+B) e (C+D) con il teorema di Morgan dopo non riesco a capire come posso eliminare la D.

Grazie M.

[DirtyDeeds]

Quell'uguaglianza non è valida, basta vedere cosa capita per C=0 e D=1.

con il teorema di Morgan

Chi, quello dei Bluvertigo?

[Millex]

Scusa sbagliato a scrivere De Morgan.

Si volendo potevo anche fare la tabella della verità il problema e che volevo sapere come semplificare le espressioni.

Tipo come faccio a semplificare questa a * (b+c')+ ((b+c')*b)'

[g.schgor]

come faccio a semplificare

Devi svolgere la funzione in singoli termini,
costruire la mappa di Karnaugh e
ricavare da quella l'espressione minima
(sei sicuro di aver scritto esattamente l'espressione?)

[clavicordo]

Mi pare il caso di ricordare il grande George Boole, nato da una famiglia inglese molto povera, assai portato per la matematica ma forzatamente autodidatta. E' stato il matematico americano Claude Shannon ad aver intuito e dimostrato che le sue formulazioni di logica binaria erano applicabili a macchine calcolatrici, che poterono diventare i moderni computer. Purtroppo la sua morte, avvenuta a soli 49 anni, sembra aver contraddetto le sue fatiche di logica, come racconta P.G. Odifreddi nel suo libro "Le menzogne di Ulisse" (che consiglio caldamente a tutti). Un giorno George, che era anche un insegnante molto coscienzioso, fu sorpreso da un forte acquazzone e tornò a casa tutto bagnato e fortemente raffreddato. Si mise subito a letto ma la moglie, che, seppur nipote di quel Mr. Everest che ha dato il nome al monte più alto del mondo una cime non doveva essere, gli tirò addosso varie secchiate di acqua gelida, convinta che ciò che faceva ammalare avrebbe anche fatto guarire. Il povero George, invece, si ammalò gravemente e in pochi giorni morì.

[RenzoDF]

Per il mio solito riferimento storico, linko due testi del Grande George ...

a) il primo piu' "leggero" The mathematical analysis of logic by G. Boole 1847
http://www.archive.org/stream/mathemati ... 5/mode/2up

b) il secondo piu' "corposo" An Investigation of the Laws of Thought by G. Boole 1854
http://www.archive.org/stream/investiga ... 3/mode/2up
disponibile in versione integrale anche grazie a Project Gutenberg
http://www.archive.org/details/aninvestigationo15114gut