Операции импликация и эквивалентность

Импликация (логическое следование ) образуется соединением двух высказываний в одно с помощью оборота речи «если …, то…».
Обозначение: А→ В, А ⇒В
Импликация ложна тогда и только тогда, когда из истины следует ложь.

Эквивалентность (логическое равенство) образуется соединением двух высказываний в одно при помощи оборота речи «… тогда и только тогда, когда …»
Обозначение: А⇔ В, А≡ В
Эквивалентность истинна тогда и только тогда, когда оба высказывания истинны или оба ложны

Приоритет:
Инверсия
Конъюнкция
Дизъюнкция
Импликация и эквивалентность

№1 Постройте табл.истинности F= AvB ⇒C

№2 Определите, являются ли сложные высказывания тождественными: A ⇒ B·A; AvB

№3 Построить таблицу истинности
(A ⇒ B) · (B ⇒ A)
№4 Определите, являются ли сложные высказывания эквивалентными
A ⇒ B ; B ⇒ A