Mdmdmmdmdmdmmtln

Le variabili verità posso coll in un grafo.