Una forma canonica, detta anche forma normale, di una funzione booleana è una particolare espressione rappresentativa della funzione caratterizzata dall'essere una forma minima, standard e ricavabile sistematicamente utilizzando l'algoritmo di Quine-McCluskey. Wikipedia