Raciocínio Lógico — Lógica de argumentação diagramas e operadores lógicos

Se o depoente A compareceu ao plantão, então o boletim de ocorrência do depoente A foi lavrado. Se o depoente B compareceu ao plantão, então o boletim de ocorrência do depoente B foi lavrado. Sabendo-se que o boletim de ocorrência do depoente A não foi lavrado ou o boletim de ocorrência do depoente B não foi lavrado, então conclui-se, corretamente, que