논리식,logic_formula