Module Quadrivalent.Boolean_Forward