逆换式：给定命题P→Q，
则把Q → P 称为命题P→Q的逆换式。
反换式：给定命题 P→Q，
则称﹃ P→ ﹃ Q为命题P→Q的反换式，
逆反式：给定命题P→Q ，
则称﹃ Q→ ﹃ P为命题P→Q的逆反式。
逆反式与原命题的真值表完全一样，也就是它们本质上相同。
因为： P→Q为假当且仅当P为真并且Q为假；也就是当且仅当Q为假并且P为真；也就是当且仅当﹃ Q为真并且﹃ P为假；也就是当且仅当﹃ Q→ ﹃ P为假。
2021-12-12 12:54:32
1.66MB
1
所谓命题演算公式是指由逻辑变量（其值为TRUE或FALSE）和逻辑运算符∧（AND）、∨（OR）和┐（NOT）按一定规则所组成的公式（蕴含之类的运算可以用∧、∨和┐来表示）。公式运算的先后顺序为┐、∧、∨，而括号（）可以改变优先次序。已知一个命题演算公式及各变量的值，要求设计一个程序来计算公式的真值。
1.利用二叉树来计算公式的真值。首先利用堆栈将中缀形式的公式变为后缀形式；然后根据后缀形式，从叶结点开始构造相应的二叉树；最后按后序遍历该树，求各子树之值，即每到达一个结点，其子树之值已经计算出来，当到达根结点时，求得的值就是公式之真值。
2.逻辑变元的标识符不限于单字母，而可以是任意长的字母数字串。
2021-12-03 21:31:14
5KB
1
A、本课程设计要求学生在阅读Linux操作系统源代码的基础上完成如下三个主要Project（包括A、B、C三类）:
1、在Linux2.4的内核中添加新的系统调用，以理解系统调用的工作机制，掌握扩展内核功能的技术。
2、在Linux2.4中修改调度程序的代码，扩展一个新的调度算法
B、在Java虚拟机上完成如下Project:
1、用C语言模仿“生产者—消费者问题。
2、用C语言模仿实现“吃水果”问题
C、方向命题必作题目；
D、自主命题。
2021-11-28 13:14:29
1.02MB
1