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);