Pero por deducción, se puede concluir que: si A=B es FALSO y A>B es FALSO, entonces A<B es VERDADERO lo que sería igual a H(A,B)= [F(A,B)]‘[G(A,B)]‘.