数理逻辑答案A卷2006-2007.docVIP

2006/2007年秋季学期数理逻辑试题答案 （A卷） 适用班级（0404101 1—6， 0404201 1-2） 1） =+a+bc++abc 2） =×a+bc+×ab×ac 3） -÷×＋abcd×ef 4）÷＋×3d×4－×ab××4xy÷×××4xyz÷×2y 二 T，F，F，T，F，T，T，T，T，T. 三 1： 1）p：设小张不会德语q：设小张不会法语 原式可表示为：p≡q 2）p：设6＞4 q：设3≠＞4 r：设8≠＞16 原式可表示为：（p∧q）→r 3）设p：明天上午七点不下雪 q：明天上午七点部下雨 r：我去学校 原式可表示为：（p∧q）→r 4）设p：你不和我一起 q：座公共汽车 r：我不去 原式可表示为：（┐p∧q）→r 5）设p：天黑了 q：我回家 原式可表示为：p≡q 注明：这种答案不是唯一的，是根据每个人逻辑设计不同而不同。 2：1）┐（ ┐p∧┐（q ∧r）） = p∨（q ∧r） =（p ∨q）∧（p ∨r） 2）=（ ┐p∨q）∧（┐p ∨r） = ┐p∨q∧r =（p→q）∧r 四1：1）F（x）表示：x建成了 G（x）表示：x是大的 H（x）表