Допустим, у нас есть выражение в префиксной нотации or(1) and A B or(2) or(3) C D E
(где A, B, C, D, E — логические значения и or
для удобства пронумерованы), которое мы хотим преобразовать в инфиксную нотацию. В принципе, у меня есть два способа оценить это:
(1) начать с or(3) C D
, затем or(2)
, затем and
, затем or(1)
(2) начать с and A B
, затем проверить or(3)
, or(2)
. Наконец проверьте or(1)
(1) Оценить, начиная с самого правого оператора (2) Оценить, начиная с самого левого оператора, имеющего все операнды в качестве его непосредственных соседей.
Обе оценки дают (A and B) or C or D or E
.
Какая последовательность вычислений верна?
Будут ли эти два вычисления когда-либо давать разные результаты для одной и той же записи префикса?