En logique, méthode de représentation tabulaire d’une expression logique facilitant la simplification de cette expression.
