English Dictionary

monome

名詞

(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).

日本語の意味

数学において、加法が含まれず乗算や論理積のみで構成された単一の項からなる代数式。 / 論理学において、または計算機科学において、否定された変数を含む場合があるが、和（または論理和）の操作を含まない単一の要素としての式。

When simplifying Boolean formulas for the SAT solver, I treated each monome as a conjunction of possibly negated variables with no disjunction.

SATソルバーのためにブール式を簡略化するとき、私は各単項式を（否定されているかもしれない）変数の論理積で、論理和を含まない式として扱いました。

意味（1）

(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).

monomes （ plural ）