En este caso, el elemento "a" = > "b" es igual al ¬"a" v "b".