From dfdf33ce97d80627ad8670af8d000222d99024b8 Mon Sep 17 00:00:00 2001
From: Epagris <wabe@t-email.hu>
Date: Sat, 11 Oct 2025 20:14:40 +0200
Subject: [PATCH] - getLogicFunctionDNF()

---
 class/Tasks/TruthTableTask.php | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/class/Tasks/TruthTableTask.php b/class/Tasks/TruthTableTask.php
index 053cfcd..3b3b47a 100644
--- a/class/Tasks/TruthTableTask.php
+++ b/class/Tasks/TruthTableTask.php
@@ -59,6 +59,10 @@ class TruthTableTask extends PicturedTask
         return $this->lf->getExpression($fmt);
     }
 
+    public function getLogicFunctionDNF(): string {
+        return $this->lf->toDNF();
+    }
+
     public function toArray(string $mode = "all"): array
     {
         $a = parent::toArray($mode);