求p→(q→r)的主合取式

题目

求p→(q→r)的主合取式

答案

我用~表示非
我们用公式p->q pvq
A p->(q->r) p->(~q v r) ,p v q v r
这就是A的主合取范式,它是一个析取式的合取.