布尔Oracle
此web服务器计算一个最小布尔公式对于给定函数，使用运算符集（AND、OR、XOR）和（AND，OR）。
查询：0.3中的x+y+z+w+v（真值表0x16686881，规范0x1668688）
A类使用AND、OR和XOR的最小布尔公式需要12名操作员。其中一个公式是：
z^-x公司^((（年）和（年）)|(（-z^x）&(x^y^（宽|v）)))
A类使用AND和OR的最小布尔公式需要26名操作员。其中一个公式是：
((（-v|x）&(（w&v）|（y&z）))|(（v x）和（w z）&(（w&z）|(y&（v|x）))))&((年&(（w&v）|（z&x）))|（x和w）|(年&(“z”|(v&（x | w）))))
