Matlab求主析取主合取范式

MATLAB中可以使用`sym`函数来进行符号计算，包括求解主析取主合取范式。

假设有一个逻辑表达式`expr`，可以按照以下步骤求解主析取主合取范式：

1. 将`expr`转换为符号表达式：`syms x y z`，其中`x`、`y`、`z`为逻辑变量。
2. 将`expr`转换为符号表达式：`f = sym(expr)`。
3. 求解主析取主合取范式：`dnf = simplify(logical(f),'dnf')`和`cnf = simplify(logical(f),'cnf')`，其中`dnf`为主析取范式，`cnf`为主合取范式。

例如，假设有一个逻辑表达式`expr = (x & y) | (x & z)`，则可以按照以下代码求解主析取主合取范式：

syms x y z;
f = sym('(x & y) | (x & z)');
dnf = simplify(logical(f),'dnf')
cnf = simplify(logical(f),'cnf')

输出结果为：

dnf =
(x | y) & (x | z)

cnf =
(x & y) | (x & z)