Circuit logique : représentation symbolique