bn:02698286n
Noun Concept
Categories: Forme normali
IT
clausola di Horn  forma di Horn
IT
In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo. Wikipedia
Definitions
Relations
Sources
IT
In logica, e in particolare nel calcolo proposizionale, una clausola di Horn è una disgiunzione di letterali in cui al massimo uno dei letterali è positivo. Wikipedia
IS A
NAMED AFTER
Wikipedia
Wikidata
Wikipedia Redirections
Wikipedia Translations