A New Combinational Logic Minimization Technique with Applications to Cryptology