논리식,logical_formula