Fixes printing for Not(Equivalent) and Not(Implies).

fixes #7179