Disjunction [expr, {a1, a2, ...}] gives the disjunction of expr over all choices of the Boolean variables ai.
確定! 回上一頁