A Taxonomic Approach to Boolean Formula Analysis