Agregue metodo union a Proposition.js y el metodo
variables a ExclusiveDisjunction y Negation
Merge branch 'master' of https://github.com/marhg/TallerJS01