Приоритет выполнения операций такой: 1) ~ (НЕ) 2) /\ 3) V 4) → 5) ↔1. (A /\ B) → (A V B) = A /\ B →
A V B
2. ((A /\ B) /\ C) /\ D = A /\ B /\ C /\ D3. ((A /\ B) /\ C)
→ (A
↔
B) =
A /\ B /\ C
→ (A
↔
B)4. ((A V B) /\ C)
↔ (B
→
C) = (A V B) /\ C
↔ B
→
C