Functionally Reduced And-Inverter Graph (FRAIG)