diff --git a/src/Php/PhpVersion.php b/src/Php/PhpVersion.php
index 32ed54b6bd..e16f549159 100644
--- a/src/Php/PhpVersion.php
+++ b/src/Php/PhpVersion.php
@@ -201,6 +201,11 @@ public function strSplitReturnsEmptyArray(): bool
 		return $this->versionId >= 80200;
 	}
 
+	public function supportsDisjunctiveNormalForm(): bool
+	{
+		return $this->versionId >= 80200;
+	}
+	
 	public function serializableRequiresMagicMethods(): bool
 	{
 		return $this->versionId >= 80100;