SIMPLIFICATION OF BOOLEAN EXPRESSIONS