Towards a Switching-Algebraic Theory of Weighted Voting Systems: Exploring Restrictions on Coalition Formation.