北京理工大学1997年硕士研究生入学考试试题:软件基础（含离散数学与操作系统）
总号：60 分号：09-03一九九七年研究生入学考试
软件基础（含离散数学与操作系统）试题
参加
[url=http://dankao.kaoyantj.com]单独考试[/url]
考生答题：一、二、三、五、六、七、八，并在九、十中任选一题。
参加统考考生答题：一、二、三、四、六、七、八，并在九、十中任选一题。
一、（10分）
用真值表法求命题公式? (P? Q)ù Qú R的主合取范式及成真赋值。
二、（20分）
（一）填空题（10分）
1．命题公式(? Pú Q)ù (? Pú R)在P，Q分别为 时真值为T；
2．命题公式(? Pú ? Q)? (P? ? Q)的主合取范式为 。
3．前提(Pù Q)? R, ? Rú S, ? S的有效结论为 。
4．" X$ YF(X,Y)? $ X" YF(X,Y)的类型为 。
5．" XF(X)ù $ XG(X)的前束范式为 。
页:
[1]