simplification using boolean algebra - Search