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

问题描述:

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

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