Символом F обозначена логическая функция от двух аргументов (A и B), заданная таблицей...

Question

Символом F обозначена логическая функция от двух аргументов (A и B), заданная таблицей истинности. Какое выражение соответствует F?
1) A → (¬(A  ¬B)) 2) A  B 3) ¬A → B 4) ¬A  B

можно, пожалуйста, с объяснением

---

---

Comments

Не все символы пропечатались, не ясно. F = A V B (A OR B).

---

там фотография приложена с вариантами ответов)

Answer 1

→ -- Если верно предыдущее, то следующее тоже верно
¬ -- Следующее после этого знака не верно
∧ -- Верно если предыдущий и следующий элемент верен
∨ -- Верно если хотя бы один из элементов верен 
Думаю разберетесь.
Нажмите "Спасибо" если помог.