布尔表达式生成器的任何实现

问：

假设我需要创建由谓词（任何返回 true/false 的函数）组成的布尔表达式构建器。

我想创建一些像链一样的构建器：

$chainA = new Chain(predicateA1());
$chainA->add(AND, predicateX());
$chainB = new Chain(predicateB1());
$chainB->add(AND, predicateX());

$chain = new Chain($chainA);
$chain->add(OR, $chainB);

所以我得到了这样的表达式（A1 和 X）或（B1 和 X），这东西非常简单，但我需要一个功能 - 将一些布尔变换为共轭/析取形式，例如：

（A1 和 X）或（B1 和 X）->（A1 或 B1）和 X。

我不知道如何实现这些东西。

php 或 java 中是否有任何模式或库可以解决这个问题？