Uma equivalência lógica para a proposição Marcelo é inocente ou Alice é culpada está contida na alternativa: