simplification of boolean expressions using boolean algebra