Dues darreres tales de veritat (1r. Batxillerat A i B principalment)

[(p bicondicional q) conjunció (r disjunció negador p)] condicional p. Resultat: contingent (excepte els dos darrers resultats que són falsos)

[(p conjunció negador q) conjunció (q conjunció negador r)] disjunció (p conjunció negador p). Resultat: contradicció.