Логические операции. Конъюнкция, дизъюнкция, отрицание, импликация, эквивалентность

Алгебра логики
Алгебра логики — это раздел математической логики, значение всех элементов (функций и аргументов) которой определены в двухэлементном множестве: 0 и 1.
1 – истина, 0 - ложь
Алгебра логики оперирует с логическими высказываниями, каждое из которых обозначается латинской буквой.

Отрицание (инверсия)
А
НЕ А
в естественном языке соответствует союзу не;
в алгебре высказываний обозначение ;
в языках программирования обозначение not.

КОНЪЮНКЦИЯ
(логическое умножение)
в естественном языке соответствует союзу и;
в алгебре высказываний обозначение &, ;
в языках программирования обозначение And.
А
В
и

ДИЗЪЮНКЦИЯ
(логическое сложение)
в естественном языке соответствует союзу или;
обозначение v ;
в языках программирования обозначение Or.
А
В
или

ИМПЛИКАЦИЯ
(логическое следование)
в естественном языке соответствует обороту если ..., то ...;
обозначение →
В программировании If…Then…

ЭКВИВАЛЕНЦИЯ (равнозначность)
в естественном языке соответствует оборотам речи тогда и только тогда; в том и только в том случае;
обозначения ~, 
В языках программирования =.

Порядок выполнения операций
1. Отрицание (инверсия)¬
2. Конъюнкция (логическое умножение)Λ
3. Дизъюнкция (логическое сложение)ⅴ
4. Импликация (логическое следование)→
5. Эквиваленция (равнозначность)<=>

Задания
1. Формализуйте предостережение, которое одна жительница древних Афин сделала своему сыну, собиравшемуся заняться политической деятельностью: “Если ты будешь говорить правду, то тебя возненавидят люди. Если ты будешь лгать, то тебя возненавидят боги. Но ты должен говорить правду или лгать. Значит, тебя возненавидят люди или возненавидят боги”.
Формализуйте также ответ сына: “Если я буду говорить правду, то боги будут любить меня. Если я буду лгать, то люди будут любить меня. Но я должен говорить правду или лгать. Значит, меня будут любить боги или меня будут любить люди”.