【离散数学】20主析取范式的两种求法(极小项法和真值表法)、定理:对任意公式存在唯一一个与其等价的主析取范式、恒正恒假性的判定
发布人