Recherche:Théorie des matrices logiques/Elimination de sous-structures
Lorsque des fusions successives - ou toute autre opération - réduisent une bande à un seul vecteur, et que les éléments de ce vecteur sont tous des 1, la bande peut être éliminée de la matrice logique bidimensionnelle dont elle est une sous-structure.
Invariant: table.
Intuitivement:
- la bande comporte 1 vecteur, et l'élément neutre de la multiplcation est 1; cette bande n'influe donc pas sur la taille de la table
- le vecteur unique ne contient que des 1; un tel vecteur est l'élément neutre de la superposition conjonctive.
Par ailleurs, un vecteur dit saturé - dont la table ne comporte que des 0 - peut être éliminé d'une bande:
