中国机械库

全体小项合取式在命题逻辑中是一个由多个小项通过逻辑运算符“合取”（∧）连接而成的公式，它表示所有小项同时成立的情况。小项是由命题变量及其否定组成的简...