< Recherche:Théorie des matrices logiques
fin de la boite de navigation du chapitre

Le cas de la multiplication, qui intervient dans la construction de la table, est très direct. Il suffit de multiplier les bandes horizontales n et m (rupture de la forme canonique) et, aussitôt après, les bandes verticales n et m (rétablissement de la forme canonique). La multiplication canonique encapsule ces deux opérations.

Table d'une matrice canonique:

La diagonale principale de la table est identique aux deux projections primaires. Tous les autres éléments de la table sont structurels et peuvent être ignorés.

À toutes fins utiles, la table de la matrice canonique est unidimensionnelle. On parlera de table diagonale. Les projections font double usage, à l'exception de l'apex.

Pour avoir accès aux invariants habituels, une rupture délibérée de la forme canonique s'impose:

La dernière bande horizontale a été éliminée, et la forme canonique a cessé d'exister. Invariant de l'élimination: projection 1.
Intuitivement: c’est la redondance inhérente à la symétrie diagonale de la matrice canonique qui assure ici la préservation de la projection 1.

En prenant la projection 2 pour invariant, réalisation d'une fusion:

En prenant la projection 1 pour invariant, rétablissement de la forme canonique (restauration, sous sa nouvelle forme, de la bande qui avait été éliminée):

Cet article est issu de Wikiversity. Le texte est sous licence Creative Commons - Attribution - Partage dans les Mêmes. Des conditions supplémentaires peuvent s'appliquer aux fichiers multimédias.