modelo lógico: clássico Kleene Bochvar

a > b = !a | b