Divisione booleana (Strong division)

[gac]

Buongiorno a tutti. Sto cercando di capire come funziona l'algoritmo di divisione booleana o anche detto strong division e vorrei una conferma per qualcosa che temo per voi banale, ma non per me. Sulle slide fornitemi dal docente leggo che volendo dividere in senso booleano per bisogna definire un ingresso - corrispondente al divisore - ad per ottenere una funzione come segue




Io ho capito (non è specificato) che è il "quoziente" e il "resto" della divisione.

Subito dopo fornisce un esempio in cui scrive una mappa di Karnaugh che presenta dei don't care laddove e degli 1 laddove . La mia banalissima domanda è: il risultato della copertura della mappa è già , ovvero il risultato della divisione booleana, oppure ? La scomposizione in e ha un'utilità dal punto di vista pratico?

Grazie a tutti anticipatamente.

Ho scelto di inserire questo thread in matematica generale, in quanto il problema mi sembra più algebrico che elettronico od informatico.