duodécimo maxterm en 4 variables