0
$\begingroup$

In the context of disjunctive normal forms, which terminology do you use for the conjunction of atoms? E.g., for the disjunctive normal form $(x₁ ∧ ¬x₂ ∧ x₃) ∨ (¬x₁ ∧ x₂ ∧ x₃)$, how are the constituents "$x₁ ∧ ¬x₂ ∧ x₃$" and "$¬x₁ ∧ x₂ ∧ x₃$" called? Terms or clauses? I saw boths variants as well as "disjunctive clauses", and I wonder which variant is right.

There are lots of non-native English computer scientists around, so please reply only if you are an established computer scientist who actually taught this and have an excellent command of English.

$\endgroup$
1
$\begingroup$

They're often called a "clause", "conjunctive clause", or sometimes a "conjunction" (if it is clear from context what that is referring to).

See, e.g., https://en.wikipedia.org/wiki/Disjunctive_normal_form.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy