IF语句重构的理论？

问：

有一些已知的规则，它们指的是 IF 语句的各种组合（或 if/else 或 switch/case 语句等）。这些规则可用于重构。

示例 1： “具有单个实体的嵌套 IF 始终可以替换为一个具有 AND 条件的 IF。”

if (a) {
  if (b) {
     doSomething();
  }
}

可以改写为：

if (a && b) {
  doSomething();
}

示例 2： “具有相同主体的后续 IF 始终可以替换为一个具有 OR 条件的 IF。”

int i = 0;
if (a) {i = 1;}
if (b) {i = 1;}

可以改写为：

if (a || b) {i = 1;}

我相信还有更多类似的规则。我想知道这背后是否有一个已知的理论，它给出了创建此类规则的通用模式。我想查看其他已知规则的列表。我认为布尔代数并不能完全处理这个问题，因为它使用的数学语法并不能完全转换为编程语法。

有类似的问题，总是问一个或另一个规则。这个问题完全是通用的，不是关于特定的规则，而是关于它们背后的理论。