Доказательство логических тождеств с помощью таблиц истинности Доказать с помощью таблицы истинности