Terminadas as definições de formas normais