Interesting Functions

Hardest n-input for (AND, OR, XOR)
(1) 1
(2) x+y = 1
(3) x+y+z = 1
(4) x+y+z+w = 1
(5) x+y+z+w+v in 0,3

Hardest n-input for (AND, OR)
(1) 1
(2) x^y
(3) x^y^z
(4) x^y^z^w
(5) x+y+z+w+v in 0,1,3,
    x+y+z+w+v in 0,1,3 || x&y&z&w&!v,
    x+y+z+w+v in 1,3 || x&y&z&w&!v

Boolean Oracle

This web server computes a minimal Boolean formula for a given function, using the operator sets (AND, OR, XOR) and (AND, OR).



Query: x+y+z+w = 1 (truth table 0x0003033c, canonical 0x0003033c)


A minimal Boolean formula using AND, OR, and XOR requires 7 operators. One such formula is:

(x | w | (y & z)) ^ (y | z | (x & w))




A minimal Boolean formula using AND and OR requires 11 operators. One such formula is:

(x | w | y | z) & ((¬y & ¬w) | (¬z & ¬x)) & ((¬x & ¬y) | (¬w & ¬z))



How does this work?

Powered by Go on Google App EnginePowered by Go on Google App Engine