Как можно доказать или опровергнуть логическое равенство?
Чтобы доказать или опровергнуть логическое равенство надо построить таблицу истинности