Un conjunto de proposiciones atómicas se asocia a cada nodo.