Simplification of boolean expression using laws of boolean algebra