离散数学 编程实现求解逻辑表达式的真值表、主析取范式、主合取范式对于一个含n个命题变元的表达式(n为相异的命题变元总个数),其真值表可看作由从0到2n-1的二进制数的变化表。因此,可以通过按行列举0到2n-1的二进制数来模拟真值表中命题变元的值。而对于表达式,在每一行,其值可通过运用该行的命题变元的值来求解。为此,应考虑: