Объяснение:
Логические переменные – это сколько у нас использовано букв.
Порядок выполнения действий:
1. Отрицание
2. Конъюнкция
3. Дизъюнкция
4. Импликация
5. Эквивалентность
Но, последних двух у нас здесь нет, но я вообще.
Так же, я добавил схему, с помощью которой я решал всё это
(добавил фотку).