Disjunctive Normal Form (DNF)

DNF stands for ‘Disjunctive Normal Form’. It is a standard form used in propositional logic and Boolean algebra. DNF represents logical expressions as a disjunction (OR) of one or more conjunctions (AND) of literals. In simpler terms, it is a way to express logical statements using only the logical operators “OR” and “AND”.

The DNF form allows for the representation of any logical expression using a combination of OR and AND operators. It is particularly useful in logic analysis, theorem proving, and boolean circuit design.

<?php

class x {
    private (A&B)|(C&D) $y;
}

?>

See also PHP RFC: Disjunctive Normal Form Types, Disjunctive normal form, DNF Types in PHP 8.2

Related : Type System, Union Type, Intersection Type

Added in PHP 8.2