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

Japanese Meaning

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

What is this buttons?

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 Translation / DeepL Translation

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

Details

Sense（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 ）

Details

conjunctive normal form

Dictionary quizzes to help you remember the meaning

Login / Sign up

Download the app!

conjunctive normal form

Dictionary quizzes to help you remember the meaning

Login / Sign up

Login

──── or ────

Sign up

──── or ────

Download the app!