Text this: Simplication of boolean function based on simplification rules