Considerando-se a proposição: “Se Gabriel não anda em campo ou Bruno corre sem a bola, então Everton faz o lançamento”, uma proposição logicamente equivalente a essa é a seguinte: