#digital logic design #circuit minimization algorithm #systematic simplification #boolean algebra tool #logic synthesis