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.