当前位置：首页 >
离散数学(02324) > 正文内容
用等值演算法求命题(P⟷ Q)⋁¬R主合取范式,并指出公式的类型。
用等值演算法求命题(P⟷ Q)⋁¬R主合取范式,并指出公式的类型。
(P⟷ Q)⋁¬R
⟺ ((¬P⋁Q)⋀(P⋁¬Q))⋁¬R
⟺ (¬P⋁Q⋁R)⋀(P⋁¬Q⋁¬R)
由此得主合取范式为(¬P⋁Q⋁R)⋀(P⋁¬Q⋁¬R)
该公式的类型为非重言式的可满足式。
扫描二维码免费使用微信小程序搜题/刷题/查看解析。
版权声明：本文由翰林刷题小程序授权发布，如需转载请注明出处。