Espressioni e funzioni logiche
Possiamo costruire un'espressione logica partendo dalla sua tabella di verità seguendo un metodo preciso: identifichiamo le righe con output 1, scriviamo le variabili normalmente se valgono 1 o negate se valgono 0, le colleghiamo con AND tra loro e infine uniamo tutte le combinazioni con OR. Questa rappresentazione è chiamata prima forma canonica.
Le espressioni booleane possono essere semplificate applicando vari teoremi e proprietà. Due espressioni sono equivalenti se hanno la stessa tavola della verità, anche se appaiono diverse. La semplificazione è fondamentale per rendere i circuiti più efficienti.
I principali teoremi includono: identità 1⋅X=X,X+0=X, annullamento 0⋅X=0,X+1=1, complementi X⋅Xˉ=0,X+Xˉ=1 e idempotenza X⋅X=X,X+X=X. Le proprietà fondamentali sono la commutativa, l'associativa e la distributiva.
🔍 Attenzione! I teoremi di De Morgan sono particolarmente utili: ¯(A·B) = Ā+B̄ e ¯A+B = Ā·B̄. Ti permettono di convertire AND in OR e viceversa!
I teoremi dell'assorbimento comeA+AB=A sono strumenti potenti per semplificare espressioni complesse e ridurre il numero di operazioni necessarie in un circuito.