Format implicant with variables instead of cube.