OKPEDIA GRAFO

Grafo And/Or

grafo esempioIl grafo And/Or è la rappresentazione grafica di un processo logico. I nodi del grafo indicano i letterali. I nodi sono collegati tra loro da archi che indicano la relazione tra di essi. Ogni arco è caratterizzato da una direzione e da un verso ( arco orientato ). Gli archi tra i nodi del grafo possono indicare una relazione di implicazione, di congiunzione o di disgiunzione. La relazione di implicazione è un arco che congiunge un nodo di premessa a un nodo di implicazione ( conseguenza logica ). Gli archi di disgiunzione o di congiunzione sono, invece, dei collegamenti multipli e coinvolgono almeno tre nodi. La relazione di congiunzione logica ( AND ) è rappresentata da due archi, uniti tra loro da un segmento curvo, che hanno origine dai nodi di premessa e convergono verso il nodo di conclusione. La relazione di disgiunzione logica ( OR ) è, invece, rappresentata tramite due archi privi di segmento curvo che hanno origine dai nodi di premessa e convergono verso il nodo di conclusione.

https://www.okpedia.it/grafo_andor



Logica proposizionale


Questo sito utilizza cookie tecnici. Sono presenti alcuni cookie di terzi ( Gooogle, Facebook ) per la personalizzazione degli annunci pubblicitari. Cliccando su OK, scorrendo la pagina o proseguendo la navigazione in altra maniera acconsenti all’uso dei cookie.

Per ulteriori informazioni o per revocare il consenso fai riferimento alla Privacy del sito.