1
Die Elemente einer logischen Anweisung in der normalen Klauselform werden als Literale bezeichnet.Name der unsignierten Literale in der normalen Klauselform
Zum Beispiel angesichts der Klausel {a, !b}
Die Literale sind a, !b.
Angenommen, Sie möchten die Menge der Elemente unabhängig davon erhalten, ob sie negiert werden.
Die 'unsignierten Literale' (?) Sind a, b.
Was wäre ein besser/mehr Standardbegriff als "unsigned Literale"? Man könnte sagen "Variablen", nehme ich an, aber das scheint in einem Kontext, in dem sie Konstanten oder komplexe Begriffe für sich selbst sein können, nicht stimmig zu sein.