DNF types (Disjunctive Normal Form) in PHP

Introduction

DNF types help you write clear and simple rules that combine options with OR and AND. This makes your code easier to understand and check.

When you want to accept multiple different groups of values in a function.

When you need to check if data matches one of several complex conditions.

When you want to simplify complicated if-else checks into clear logical groups.

Syntax

PHP

<?php
// Example of DNF type using union types
function checkValue(int|string $value): bool {
    return is_int($value) || is_string($value);
}
?>

PHP 8.1+ supports union types using the | symbol.

DNF means combining OR (|) and AND (&) types to express complex rules.

Examples

This function accepts either an int or a string.

PHP

<?php
function example1(int|string $x): void {
    echo $x;
}
?>

This shows a DNF type: either a Traversable that is Countable, or a string.

PHP

<?php
function example2((Traversable&Countable)|string $x): void {
    // $x must be Traversable and Countable, or string
}
?>

Sample Program

This program processes an array with numbers and text, showing how to handle different types clearly.

PHP

<?php
// Function processing arrays containing ints or strings
function processData(array $data): string {
    foreach ($data as $item) {
        if (is_int($item)) {
            echo "Number: $item\n";
        } elseif (is_string($item)) {
            echo "Text: $item\n";
        } else {
            echo "Unknown type\n";
        }
    }
    return "Done";
}

$input = [10, "hello", 42, "world"];
$result = processData($input);
echo $result;
?>

Important Notes

DNF types combine union (|) and intersection (&) types to express complex type rules.

PHP 8.1+ supports union and intersection types, enabling DNF style type declarations.

Use DNF types to make your function inputs more flexible and your code easier to read.

Summary

DNF types let you combine OR and AND conditions in type declarations.

They help write clear rules for what types a function accepts.

PHP 8.1+ supports these with union (|) and intersection (&) types.

Practice

1.

What does a Disjunctive Normal Form (DNF) type represent in PHP?

easy

A. A type that disables type checking

B. A type that combines OR (union) and AND (intersection) conditions

C. A type that restricts variables to integers only

D. A type that only allows a single data type

Solution

1. Step 1: Understand DNF type concept

   DNF types combine multiple conditions using OR (union) and AND (intersection) to specify allowed types.

2. Step 2: Compare options with definition

   Only the type that combines OR (union) and AND (intersection) conditions correctly describes this combination of OR and AND conditions in PHP types.

3. Final Answer:

   A type that combines OR (union) and AND (intersection) conditions -> Option B

4. Quick Check:

   DNF types = OR + AND conditions [OK]

Hint: DNF means combining OR and AND in types [OK]

Common Mistakes:

• Thinking DNF only means union types
• Confusing DNF with simple single types
• Assuming DNF disables type checks

2.

Which of the following is the correct PHP syntax for a DNF type combining union and intersection?

function example( /* type here */ $param) {}

easy

A. int&float&Serializable

B. int&float|Serializable

C. int|float|Serializable

D. int|float&Serializable

Solution

1. Step 1: Recall PHP DNF syntax rules

   PHP uses | for union (OR) and & for intersection (AND). Intersection has higher precedence, so int|float&Serializable means int OR (float AND Serializable).

2. Step 2: Analyze each option

   int|float&Serializable correctly uses union and intersection combined. int&float|Serializable misplaces operators, C uses only union, D uses only intersection.

3. Final Answer:

   int|float&Serializable -> Option D

4. Quick Check:

   Union (|) and intersection (&) combined correctly = int|float&Serializable [OK]

Hint: Use | for OR, & for AND in PHP types [OK]

Common Mistakes:

• Mixing order of | and & operators
• Using only unions or only intersections
• Writing invalid syntax like &| or |&

3.

What is the output of this PHP code snippet?

interface A {} 
interface B {} 
class C implements A, B {} 
function test(A|B&object $param): string { 
  return $param instanceof B ? 'Yes' : 'No'; 
} 
$obj = new C(); 
echo test($obj);

medium

A. Fatal error

B. No

C. Yes

D. Empty output

Solution

1. Step 1: Understand the type declaration

   The parameter type is A OR (B AND object). Class C implements both A and B, so it matches the type.

2. Step 2: Evaluate the instanceof check

   $obj is instance of B, so the ternary returns 'Yes'.

3. Final Answer:

   Yes -> Option C

4. Quick Check:

   Object matches B, so output is 'Yes' [OK]

Hint: Check instanceof for intersection parts in DNF types [OK]

Common Mistakes:

• Assuming type mismatch causes error
• Ignoring intersection precedence
• Thinking output is 'No' without checking instanceof

4.

Identify the error in this PHP function using DNF types:

function checkType(int|float&Countable $value) { 
  return is_countable($value); 
}

medium

A. Invalid use of & with float, which is not an object

B. Missing return type declaration

C. is_countable() cannot be used here

D. int and float cannot be unioned

Solution

1. Step 1: Analyze intersection with primitive types

   float is a primitive type and cannot be combined with & Countable (an interface) because & requires object types.

2. Step 2: Confirm error cause

   Using & between float and Countable causes a type error since float is not an object.

3. Final Answer:

   Invalid use of & with float, which is not an object -> Option A

4. Quick Check:

   Intersection requires objects, float is primitive [OK]

Hint: Intersection (&) only works with object types [OK]

Common Mistakes:

• Thinking primitives can be intersected with interfaces
• Ignoring PHP type system rules
• Assuming is_countable() causes error

5.

Given these interfaces and classes:

interface X {} 
interface Y {} 
class A implements X {} 
class B implements Y {} 
class C implements X, Y {}

Which DNF type correctly accepts objects that implement either X alone, or both X and Y together?

hard

A. X|(X&Y)

B. X&Y|Y

C. X|Y

D. (X|Y)&Y

Solution

1. Step 1: Understand the requirement

   Accept objects that implement X alone OR both X and Y together.

2. Step 2: Translate to DNF

   This means either X alone OR (X AND Y). X|(X&Y) expresses this as X|(X&Y).

3. Step 3: Check other options

   X&Y|Y includes Y alone, which is incorrect. X|Y accepts X or Y alone, too broad. (X|Y)&Y includes Y alone, which is incorrect.

4. Final Answer:

   X|(X&Y) -> Option A

5. Quick Check:

   DNF matches X alone or X and Y together = X|(X&Y) [OK]

Hint: Use union of X and intersection X&Y for this case [OK]

Common Mistakes:

• Choosing simple union X|Y which is too broad
• Misplacing parentheses changing logic
• Confusing intersection and union precedence