Порядок старшинства логических связок

¬, ^, V, ,

УПРАЖНЕНИЕ 3: Расставьте скобки в формуле:

1)

2)

Опираясь на принцип старшинства логических связок, можно правильно прочитать и выражения с меньшим числом скобок, чем этого требуют правила построения формул, и даже бесскобочные: например, AVB^C говорит о том, что B^C было построено раньше, а затем соединено с А младшей связкой V.

8