clause

in logic, disjunction of literals

en-US/ˈklɔz/
en-GB/ˈklɔːz/

分类：

logical disjunctionfinite set