Иллюстрации и примеры доказательства логических тождеств