Implement BDD and/or/xor ops
Implement BDD satisfy methods
s/uniqid/root
Allow BDD operators to take 0/1 inputs