bugfix: Sat_min_Lit()
added: boolean ops to CNF, CNF to SAT

Signed-off-by: TheTesla <stefan.helmert@gmx.net>