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