Формулы алгебры логики: основные правила и примеры