Semplificazione di una Funzione Booleana

[Allen]

Buonasera, come da titolo, mi servirebbe un aiuto con questa funzione Booleana.
Vi mostro il mio tentativo:

La funzione di partenza é:



Mettendo in evidenza AB nel primo e terzo temine, A'B nel secondo e quarto e B' agli ultimi due termini:



Usando le funzioni XOR e XNOR:



Sono arrivato fin qui. Purtroppo l'esercizio semplifica ulteriormente arrivando a:



Non capisco cosa manca per concludere l'esercizio. Grazie in anticipo per l'aiuto

[g.schgor]

Fai la prova con questo

[Allen]

Ti ringrazio per la risposta.
Ho provato con il sito consigliato, ma non ho trovato la forma minima ricercata.
Risultato del sito

[g.schgor]

L'espressione risultante

y = A'B'C + A'CD' + AB'C' + AC'D' + A'BC'D + ABCD

è la minima possibile, come si può vedere dalla mappa di Karnaugh

KMap.gif (15.53 KiB) Osservato 12858 volte

ps. ho preso per buona la tabella di verità,
ma suggerisco di controllarla.

[g.schgor]

Infatti la tabella di verità non corrisponde
all''espressione di partenza...
(cosa c'è dopo l'ultimo + ?)

[Allen]

Credo di aver compreso l'errore.
Anch'io avrei fatto i raggruppamenti come nell'immagine che hai postato, ma nell'esercizio i mintermini sono stati presi differentemente.
Da questa K-Map poi é stata ricavata la funzione Booleana.
Mi piacerebbe capire il motivo per cui é stata fatta questa scelta, e se é corretta o sbagliata.

[g.schgor]

così non è minimizzato.

Quando gli 1 sono adiacenti vanno riuniti

KM1 - Copia.png (14.51 KiB) Osservato 12758 volte

(vale anche per A'BCD')

[RenzoDF]

Notato il tuo typo iniziale, i tuoi passaggi successivi sono corretti

...


Sono arrivato fin qui. Purtroppo l'esercizio semplifica ulteriormente arrivando a:



Non capisco cosa manca per concludere l'esercizio. ...

Per l'ultima semplificazione devi solo ricordare che l'operazione logica xnor ( ) è la negata della xor ( ), ne segue che, mettendo in evidenza B, otterrai



che equivarrà a



diversamente da quanto hai indicato per quello che dovrebbe essere il risultato ufficiale.

Quando nella k-map vedi delle simmetrie c'è quasi sempre la possibilità di usare l' XOR per semplificare, come accade nel tuo caso particolare, nel quale si potevano (senza tanti passaggi) raggruppare le due coppie verticali esterne (sulle colonne AB' e A'B') e le due coppie diagonali interne (nei blocchi BC' e BC).