clause

in logic, disjunction of literals

קטגוריות: