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