DNF算法matlab代码

下面是一个简单的 Matlab 代码示例，用于将一个逻辑表达式转换为 DNF 形式：

function dnf_str = dnf(expression)
    variables = {};
    clauses = {};
    for clause = strsplit(expression, '∧')
        literals = {};
        for literal = strsplit(clause{1}, '∨')
            if startsWith(literal{1}, '!')
                variables = [variables, literal{1}(2:end)];
                literals = [literals, {false, literal{1}(2:end)}];
            else
                variables = [variables, literal{1}];
                literals = [literals, {true, literal{1}}];
            end
        end
        clauses = [clauses, {literals}];
    end
    
    n = length(variables);
    truth_table = zeros(2^n, n);
    for i = 1:2^n
        truth_values = dec2bin(i-1, n) - '0';
        truth_table(i, :) = truth_values;
    end
    
    dnf_clauses = {};
    for i = 1:2^n
        truth_values = struct();
        for j = 1:n
            truth_values.(variables{j}) = truth_table(i, j);
        end
        if all(cellfun(@(c) any(cellfun(@(l) l{1} == truth_values.(l{2}), c)), clauses))
            dnf_clause = {};
            for j = 1:n
                if ~truth_values.(variables{j})
                    dnf_clause = [dnf_clause, {false, variables{j}}];
                else
                    dnf_clause = [dnf_clause, {true, variables{j}}];
                end
            end
            dnf_clauses = [dnf_clauses, {dnf_clause}];
        end
    end
    
    dnf_str = join(join(cellfun(@(c) join(cellfun(@(l) (l{1} && '') + l{2}, c, 'UniformOutput', false), '∨'), dnf_clauses, 'UniformOutput', false), '∧'), '');
end

Matlab 版本的代码与 Python 版本的代码略有不同，主要是语法上的差异。此外，Matlab 版本的代码还引入了一些额外的边界检查，例如确保子句列表不为空。