Атомарные высказывания обозначаются маленькими буквами и называются пропозициональными (или булевыми) переменными. Формулы алгебры логики называются пропозициональные формулы.
Формулой является строка (знакосочетание), которая является пропозициональной переменной либо совпадает с одной из строк ( ), , ( , ( , ( , где A и B – формулы.
Для сокращения числа скобок в формуле принято опускать скобки, не влияющие на результат. Например, вместо (x1и(x2иx3)) пишут х1их2их3 (в силу закона коммутативности).
Соглашение о порядке выполнения (приоритете, силе связывания) операций, позволяет отбросить скобки, связывающие разные операции.
Порядок выполнения логических операций следующий: сначала выполняются операции в скобках, затем операции отрицания, далее - конъюнкция, дизъюнкция, импликация, эквиваленция.
Соглашение о приоритетах операций позволяет однозначно восстановить пропущенные скобки. Например, …..
Однако, не все скобки могут быть опущены:
A -> (B -> C) А и (B или C)
(Можно тут еще про польскую запись вставить)