Module builder

Functions

eq

Constructs a gate that evaluates to true if and only if x and y evaluate to the same value.

reduce_conjunction

Constructs a gate that evaluates to true if and only if all of the gates returned by i evaulate to true.

reduce_disjunction

Constructs a gate that evaluates to true if and only if at least one of the gates returned by i evaulates to true.

reduce_xor

Constructs a gate that evaluates to true if and only if an odd number of the gates returned by i evaulate to true.