问答题
已知公式ㄱ(q→p)∧p是矛盾式,求公式ㄱ(q→p)∧p∧ㄱr的成真赋值和成假赋值。
问答题 求下面公式的前束范式:
问答题 A,B,C,D这4个旅游点之间的距离(单位为km)如图所示,某游客现在在A处,求他游完4个旅游点回到A处的最短路线及距离。
填空题 公式(p→q)∧((p∧r)∨p)的成假赋值为()。