Полско записване
от Уикипедия, свободната енциклопедия
Полското записване (префиксно записване, представно записване) е създадено от полския математик Ян Лукасевич. При него операторите се поставят пред операндите, като по този начин се избягва употребата на скоби за означаване на приоритета.
- Np отрицание ¬p
- Kpq конюнкция p ∧ q
- Apq дизюнкция p ∨ q
- Cpq импликация p → q
- Epq еквивалентност p ↔ q
- PxFx квантор за общност ∀ x, Fx
- SxGx квантор за съществуване ∃ x, Gx
Вижте също: обратно полско записване, инфиксно записване.
Тази статия е мъниче. Можете да помогнете на Уикипедия, като я разширите. Просто щракнете на редактиране и добавете онова, което знаете.
|