- DNF output and validation

class/Tasks/TruthTableTask.php

@@ -63,6 +63,14 @@ class TruthTableTask extends PicturedTask
         $this->lf = LogicFunction::genRandomDF($input_vars);
     }
 
+    public function getFunctionAsDNF(): string {
+        return $this->lf->toDNF();
+    }
+
+    public function isValidDNF(): bool {
+        return LogicFunction::isCorrectDNF($this->lf->getInputVars(), $this->lf->getExpression());
+    }
+
     public function setLogicFunctionExpr(string $expr, array $input_vars = []): void {
         $this->lf = new LogicFunction($expr, $input_vars);
     }