请教一个标准中关于PUCCH资源分配的公式

landai

在36.211中的5.4.3小节，有下面一个计算PUCCH资源分配的公式

1、公式中用红色圈起来的部分，里面的每一个变量具体指的是什么我是知道的，但是作为整体怎么理解我就不知道了。

2、还有，if 和 otherwise这两种情况用了一个式子判断，这个式子该怎么理解呢？

3、我找了3GPP的提案，但是感觉好难找啊，提案的数量那么多，打开list之后搜索关键词PUCCH，找了半天也没有找到想要的提案，哪位朋友能顺便说说怎么快速的找到自己想要的提案么？（3GPP这点真的不人性，寻找标准中一些公式或者结论的出处很费劲）

谢谢了。