Las redundancias también son agregadas a la tabla, estas pueden combinarse con los minitérminos: