add eval_logic_not in eval.c