ALC2 Experiments

bdd_1.lsp - test two BDDs for equality
bdd_2.lsp - a theorem
bdd_3.lsp - add a hint to the theorem
bdd_4.lsp - complement every element of a list of Booleans
bdd_5.lsp - existential quantification