A 1∧A2......An (n≥ 1)

Where An is a disjunctive form composed of propositional arguments or their negation.

Here, a 1, a2, ..., an are called disjunctive terms (or simple disjunctive formulas). When n takes 1 and n = 1, Ak is transformed into univariate or univariate negation, that is, univariate or univariate negation can be regarded as disjunctive terms (simple disjunctive formulas). Similarly, univariate.

For example, P ∧ (P ∨┐ Q ∨ R) ∧ (P ∨ Q) and P ∧ Q ∧ (P ∨┐ Q) are both conjunctive normal form.

P ∨ (P ∧┐ Q ∧ R) ∨ (∧ P ∧ Q), P ∨ Q ∨ (P ∧┐ Q) are disjunctive paradigms.