¬ - отрицание
стрелочка- импликация
V- дизъюкция
Порядок выполнения инверсия; конъюнкция; дизъюнкция; импликация; эквивалентность.