查询:0,1,3|x&y&z&w&!中的x+y+z+w+v!v(v)(真值表0x56696997,规范0x16686997)
A类使用AND、OR和XOR的最小布尔公式需要10名操作员。其中一个公式是:
((z ^x)|(y和w))^v(v)^((年)|(z和x(w | v)))
A类使用AND和OR的最小布尔公式需要28名操作员。其中一个公式是:
((y和z)|(v(v)&((x和w)|(x和-w)))|((年|(v&(x | w)))&(“z”|(v(x | w)))))&((y和z)|(×&((w&v)|(w&v)))|((w|v)&((y和z)|(x(宽|v)))))