2017东北大学软件工程期末考试习题
总结了课上的全部知识点，中文内容，用例图、类图等都有教画法，期末复习的同学可以参考下。祝各位都能取得好成绩。
2022-03-08 20:06:03
669KB
1
方法3.假设后件为假，推出前件也为假。
例如求证：
((A∧B)C)∧D∧(C∨D) A∨B
证明:假设后件A∨B为F,则A与B均为T。
1.如C为F，则(A∧B)C为F，所以
前件((A∧B)C)∧D∧(C∨D) 为F。
2.如C为T，则⑴若D为T，则D为F，所以
前件((A∧B)C)∧D∧(C∨D) 为假；
⑵若D为F，则C∨D为F，所以
前件((A∧B)C)∧D∧(C∨D) 为假。
((A∧B)C)∧D∧(C∨D) A∨B
2022-03-06 20:19:09
2.05MB
1
方法2.假设前件为真，推出后件也为真。
例如求证：
((A∧B)C)∧D∧(C∨D) A∨B
证明:设前件((A∧B)C)∧D∧(C∨D) 为真则((A∧B)C)、D、(C∨D)均真，
D为T，则D为F
C∨D为T 得C为F
((A∧B)C )为T 得A∧B为F
如果A为F，则A为T，所以A∨B为T。
如果B为F，则B为T，所以A∨B 为T。
((A∧B)C)∧D∧(C∨D) A∨B
2022-03-06 20:06:49
2.05MB
1