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