imp2state function

Transformation from Implications to Knowledge States