Формулы алгебры высказываний: примеры для практики