Some Theorems Useful in Threshold Logic for Enumerating Boolean Functions