add ternlogi to shift_rot formal test