conjunctive normal form

(logic) The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”.

日本語の意味

ブール論理式が、各項目（リテラルの論理和）から構成され、それらが論理積（AND）で結合された形式。 / 命題論理において、各節がリテラル（命題またはその否定）の論理和で表され、その節同士が論理積で結ばれている形の論理式。

このボタンはなに？

To apply the resolution rule, you should first convert the formula into conjunctive normal form, where it becomes a conjunction of disjunctions of literals like (A or B or C) and (D or E or not F).

Google翻訳 / DeepL翻訳

解決規則を適用するには、まず式を連言標準形、つまりリテラルの論理和のいくつかの連言（例： (A∨B∨C) ∧ (D∨E∨¬F)）に変換する必要がある。

詳細

意味（1）

(logic) The form of a boolean formula that the formula has if the formula is a conjunction of disjunctions of literals, such as “(A or B or C) and (D or E or not F)”.

conjunctive normal forms

（ plural ）

詳細

conjunctive normal form

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

アプリをダウンロード！

conjunctive normal form

Dictionary quizzes to help you remember the meaning

ログイン / 新規登録

ログイン

──── or ────

新規登録

──── or ────

アプリをダウンロード！