用主合取范式判断下列3个公式的类型，并对可满足式求成假赋值。（1)p→（（p∧q)∨（p∧ㄱq))；（2)（p∨q)→（q→p)；（3)ㄱ（p→r)∧r∧q。