grapes-twiddle-grapes function

Equivalence of sets of implications