Recherche:Théorie des matrices logiques/Fusion et fission

Une page de Wikiversité.
Sauter à la navigation Sauter à la recherche
Début de la boite de navigation du chapitre
Fusion et fission
Icône de la faculté
Chapitre no 7
Recherche : Théorie des matrices logiques
Chap. préc. :Choix d'un invariant
Chap. suiv. :Elimination de sous-structures
fin de la boite de navigation du chapitre
Icon falscher Titel.svg
En raison de limitations techniques, la typographie souhaitable du titre, « Théorie des matrices logiques : Fusion et fission
Théorie des matrices logiques/Fusion et fission
 », n'a pu être restituée correctement ci-dessus.

L'opération de fusion prend pour invariant l'une des projections primaires de la table.

Les deux premiers vecteurs de la bande

FusionetFissionPage12Image1.svg

sont identiques, à une de leurs cellules près.

La fusion les remplace par un seul vecteur, qui ne retient que leurs 0 communs:

FusionetFissionPage12Image2.svg

La démarche inverse correspond à l'opération de fission.

La fusion est contingente (elle dépend du contexte), la fission est arbitraire.