求下列命题公式的主析取范式和主合取范式,并求成真赋值 (1)(¬P∧Q)→R (2)¬ (P∨¬Q)∧(S→T)
时间: 2023-03-26 22:03:59 浏览: 199
计算主合取范式,主析取范式
对于问题一和问题二,我可以回答:
(1) 主析取范式:(¬P∨R) ∧ (¬Q∨R)
主合取范式:(P∧¬Q∧¬R) ∨ (P∧¬Q∧R) ∨ (P∧Q∧R) ∨ (¬P∧Q∧R)
成真赋值:P为假,Q为真,R为真
(2) 主析取范式:(¬P∧Q∧¬S∧T) ∨ (¬P∧Q∧S∧T) ∨ (P∧¬Q∧¬S∧T) ∨ (P∧¬Q∧S∧T)
主合取范式:(¬P∨¬Q∨¬S∨T) ∧ (¬P∨¬Q∨S∨T) ∧ (P∨Q∨¬S∨T) ∧ (P∨Q∨S∨T)
成真赋值:P为假,Q为假,S为假,T为真。
阅读全文