логические выражения (AvB)^(AvB)

Что вам мешает набрать в поисковике слова Логика и Преобразования. 
там первая же ссылка на сайт с таблицей где все расписано?
Сделаем такую замену A∨B = C
C∧C = C (все та же табличка)
т.е. наше исходное (A∨B)∧(A∨B) = (A∨B)

Как-то это слишком просто для задания, может я чего-то не понял в условии? Что вообще надо с этим выражением сделать?