Введение в алгебру логики Доказательства привести примеры из жизни