(mathematics, logic, computing) An expression with a single term, such as a product of numeric variables (with no addition) or a conjunction of possibly negated Boolean variables (with no disjunction).
monome
SATソルバーのためにブール式を簡略化するとき、私は各単項式を（否定されているかもしれない）変数の論理積で、論理和を含まない式として扱いました。
アカウントを持っていませんか？ 新規登録
アカウントを持っていますか？ ログイン
DiQt（ディクト）
無料
★★★★★★★★★★
