Escrito utilizando conectivas lógicas :