PropResPI

Propositional_Resolution

Prime_Implicates