(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

(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

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 = 1** (truth table 0x0ff00ff0, canonical 0x00ffff00)

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

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

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

x ^ y

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

(¬x | ¬y) & (x | y)