Проставить порядок выполнения логических действий Здесь и далее буквами a

Сложные суждения образуются из простых с помощью логических связок: конъюнкции, дизъюнкции, строгой дизъюнкции, импликации, эквиваленции и отрицания. Самым сильным знаком в исчислении высказываний считается знак конъюнкции, поэтому в первом суждении мы добавим скобку: ((¬с & b) → a) . Все суждение в целом является дизъюнктивным (разделительным), дизъюнкция не строгая. Не строгая дизъюнкция ложна в случае ложности обоих дизъюнктов