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