Observe a seguinte proposição lógica:

“Ou Maria é magra ou João é fraco.”

Na tabela verdade podemos considerar que o tipo de conectivo lógico presente na proposição apresentada, poderá receber as seguintes validades lógicas, exceto: