Dizer que “Se João ou Maria são inteligentes então Alice e Vilmar não são bonito...

Questão de Raciocínio Lógico da banca FEPESE aplicada no concurso Serviço Autônomo de Água e Esgoto do Município de Videira SC (2018). Confira a resolução completa abaixo:

Dizer que “Se João ou Maria são inteligentes então Alice e Vilmar não são bonitos” é logicamente equivalente a: