离散数学A探究.ppt

1.6.2 波兰式 以波兰式表达的公式，当计算机识别处理时， 可自左向右扫描一次完成，避免了重复扫描。 同样后置表示（逆波兰式）也有类似的优点。 而且自左向右一次扫描（看起来更合理） 可识别处理一个公式，非常方便，常为计算机 的程序系统所采用。只不过这种表示的公式， 人们阅读起来不大习惯。 1.6.2 波兰式 举例：中置变前置 P∨((Q∨R)∧S) 由里向外： 由外向里： P∨((Q∨R)∧S) P∨((Q∨R)∧S) P∨(∨QR∧S) ∨P ((Q∨R)∧S) P∨∧∨QRS ∨P∧(Q∨R) S ∨P∧∨QRS ∨P∧∨QRS 第一个是波兰表达式，第二个逆波兰表达式 * 本讲提纲 命题形式化 波兰表达式 1.5 命题形式化 举例 考察 IF P THEN Q ELSE R 试将其形式化（用所学的联接词表示） A1 = (P→Q)∧(?P→R) A2 = (P∧Q)∨(?P∧R) 真值表如下 1.5 命题形式化 P Q R P→Q ?P→R A1 P∧Q ?P∧R A2 0 0 0 1 0 ? ? ? ? 0 0 1 1 1 1 ? 1 1 0 1 0 1 0