Implification Discrete Math Rule