Свойства эквивалентности.

1. А↔А = 1 3. 0↔А =

2. А↔ = 0 4. 1 ↔А = А

Порядок выполнения логических операций задается круглыми скобками. Но для уменьшения числа скобок договорились считать, что сначала выполняется операция отрицания (“не”), затем конъюнкция (“и”), после конъюнкции — дизъюнкция (“или”) и в последнюю очередь — импликация и эквиваленция.