A general switching function
can be decomposed into m separate switching functions of form
Any finite function
where A is finite can be implemented as a switching function by encoding A and B as
{0,1}n and {0,1}m
for appropriate n and m.