Determinado aluno resolveu definir um conectivo, para utilizar em seus estudos com tabelas verdade, da seguinte forma:
o conectivo * é tal que sua tabela verdade é idêntica à tabela verdade da proposição “se p então não p ou q".
Em consequência, a proposição p * r equivale à proposição