A função lógica f (x,y) = x + y*/x, em que +, / e * representam, respectivamente, as funções lógicas OU, NÃO e E, está em sua forma mínima e não pode ser otimizada.