Então, marcamos o implicante primo "9,13" como sendo essencial e colocamos
checks
nas colunas 9 e 13 da última linha.