填空题
公式p∧¬(q→r)∧r的主析取范式为()。
0
问答题 给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试化简:(ab)′⊕(a⊕b)′。
填空题 设A,B为任意的命题公式,吸收律的两种形式分别为()和()。
问答题 给定布尔代数〈S,⊕,,′,0,1〉,且a,b,c∈S。试证:a≤ca⊕(bc)=(a⊕b)c。