Смотреть видео: Sceptic-Ratio. ДМ 1-3c. Примеры доказательств булевых тождеств