davis–putnam algorithm - Francés Inglés Diccionario