Grafo acíclico dirigido proposicional