Calcolatore del prodotto di somme con massitermini

Indichi il numero delle variabili di ingresso e gli indici di tali righe: il calcolatore converte ogni indice nella relativa configurazione binaria, scrive il massitermine corrispondente e moltiplica i termini di somma in un’unica espressione POS canonica. Il risultato comprende anche la notazione compatta del prodotto di massitermini, gli indici ordinati, i nomi delle variabili e una scomposizione verificabile termine per termine.

Trasformi le righe a zero in massitermini canonici

La forma POS canonica parte dalle righe della tabella di verità per le quali la funzione booleana vale zero. Numeri le righe nel consueto ordine binario, considerando la prima variabile come bit più significativo, e inserisca tali numeri nell’elenco dei massitermini. Per ogni riga selezionata, il calcolatore completa la rappresentazione binaria fino al numero dichiarato di variabili e costruisce una somma contenente ogni variabile esattamente una volta. Un bit zero genera la variabile non complementata; un bit uno genera la variabile complementata, indicata con un apostrofo. Questa polarità fa sì che la somma risultante valga zero proprio per quella configurazione. Per esempio, 101 con A, B e C diventa (A' + B + C'). Gli indici vengono ordinati prima di costruire il risultato, quindi anche un ingresso disordinato produce il normale ordine canonico crescente. Gli indici duplicati vengono rifiutati perché l’elenco rappresenta un insieme di righe e ripetere un fattore non aggiunge informazione logica. La scomposizione conserva insieme indice, riga binaria completa, letterali e somma tra parentesi, rendendo immediata la verifica.

Legga e verifichi il prodotto di somme ottenuto

L’espressione principale dispone tutti i massitermini uno accanto all’altro, indicando la moltiplicazione booleana: ogni termine OR tra parentesi viene combinato mediante AND. La notazione associata usa ΠM seguito dagli indici ordinati delle righe a zero, forma compatta comune nei corsi di logica, nelle specifiche, nelle mappe di Karnaugh e nella documentazione dei sistemi digitali. La verifica è meccanica. Scelga un indice elencato, assegni i suoi bit binari alle variabili ed esamini la somma corrispondente. Ogni letterale del termine diventa zero, perciò il termine vale zero e costringe l’intero prodotto a zero. Per una riga non presente, nessun massitermine è costruito per annullarsi su quella configurazione completa: tutte le somme rimangono a uno e il prodotto vale uno. In questo modo Lei conferma che l’espressione rappresenta esattamente l’insieme di zeri fornito. L’ordine delle variabili viene mantenuto perché cambiarlo modifica l’interpretazione numerica delle righe. I nomi personalizzati devono essere identificatori validi e univoci, in numero uguale alle variabili; altrimenti vengono creati nomi predefiniti.

Inserisca la POS canonica nel flusso di progettazione

Il prodotto di somme canonico è una rappresentazione esatta, ma non necessariamente il circuito più piccolo. È particolarmente utile come collegamento affidabile tra una tabella di verità e la successiva ottimizzazione. Verifichi prima le righe a zero, generi l’espressione POS e utilizzi il dettaglio dei termini per individuare errori negli indici, nell’ordine dei bit o nella complementazione prima di semplificare. Potrà quindi raggruppare gli zeri in una mappa di Karnaugh, applicare l’algebra booleana oppure passare l’espressione a un processo separato di minimizzazione. Conservare la forma canonica accanto a quella ridotta offre a chi revisiona il progetto un riferimento tracciabile per dimostrare che l’ottimizzazione non ha modificato la funzione. Il metodo aiuta anche con segnali attivi bassi, progetti basati su decodificatori e vettori di collaudo, poiché ogni massitermine rimanda a una precisa configurazione disabilitata. Gli ingressi sono limitati a sedici variabili e ogni indice deve rientrare nella tabella corrispondente. Il calcolo è deterministico e non usa rete, stato persistente, casualità o orologio. Nel browser è gratuito; ogni esecuzione automatizzata tramite API costa $0.002.