Приоритет операций в ЛВ

[B4N]

Немного путаюсь с приоритетом логических связок. Не подскажите, правильно ли расставил скобки?

1) $\mathrm{A}$\vee$\mathrm{B}\vee\mathrm{C}\Rightarrow\mathrm{P}\wedge\mathrm{K}\Leftrightarrow\mathrm{R}\wedge\mathrm{S}\vee\mathrm{L}$

2) $\mathrm{A}$\Rightarrow$\mathrm{B}\Leftrightarrow\mathrm{C}\Rightarrow\mathrm{K}\vee\mathrm{S}\wedge\mathrm{L}$

У меня вот так вышло

2) ($\mathrm{A}$\Rightarrow$\mathrm{B})\Leftrightarrow(\mathrm{C}\Rightarrow(\mathrm{K}\vee(\mathrm{S}\wedge\mathrm{L})))$

1) $((($\mathrm{A}$\vee\mathrm{B})\vee$\mathrm{C}$)$\Rightarrow$($\mathrm{P}$$\wedge$\mathrm{K}))\Leftrightarrow((\mathrm{R}\wedge\mathrm{S})\vee\mathrm{L})$

[ex-math]

Ваше решение согласуется с обычным заданием приоритета операций. Но в задании приоритета в ЛВ нет такой общепринятости, как в случае арифметических действий. Обычно в каждой конкретной книге/курсе это оговаривается специально.