- getLogicFunctionDNF()

This commit is contained in:
Wiesner András 2025-10-11 20:14:40 +02:00
parent 75b747bc2f
commit dfdf33ce97

View File

@ -59,6 +59,10 @@ class TruthTableTask extends PicturedTask
return $this->lf->getExpression($fmt); return $this->lf->getExpression($fmt);
} }
public function getLogicFunctionDNF(): string {
return $this->lf->toDNF();
}
public function toArray(string $mode = "all"): array public function toArray(string $mode = "all"): array
{ {
$a = parent::toArray($mode); $a = parent::toArray($mode);