Digital Logic Simplification Rules