For a given Boolean formula, this algorithm counts the number of satisfying assignments. You can enter any Boolean formula with any number of variables and combine them using Boolean operators (i.e., "and", "or" and "not").