Логическое равенство (эквивалентность) - логическая функция, которую можно описать с помощью оборота "тогда и только тогда, когда ...":
Логическое следование (импликация) - логическая функция, которую можно описать с помощью оборота "если..., то...":
По закону ассоциативности (сочетательности) при разных знаках скобки можно ставить произвольно или вообще опускать: