用2叉树表示公式(p∨﹁q)→((﹁p∧r)→(q∨r))并写出它的波兰符号法和逆波兰符号法表达式。。
时间: 2023-12-17 14:05:37 浏览: 152
以下是用2叉树表示公式(p∨﹁q)→((﹁p∧r)→(q∨r))的图示:
```
→
/ \
∨ →
/ \ / \
p ﹁q ∧ ∨
/ \ / \
﹁p r q r
```
其中,符号“∨”表示逻辑或,符号“∧”表示逻辑与,符号“﹁”表示逻辑非,符号“→”表示蕴含。
根据波兰符号法,该公式的前缀表达式为:
```
→ ∨ p ﹁q → ∧ ﹁p r ∨ q r
```
根据逆波兰符号法,该公式的后缀表达式为:
```
p q ﹁ ∨ p ﹁ r ∧ q r ∨ → →
```
阅读全文