Hornova klauzule: Porovnání verzí
Smazaný obsah Přidaný obsah
Bez shrnutí editace |
Bez shrnutí editace |
||
Řádek 3:
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový).
V [[logika|logice]] je Hornova klauzule disjunkcí literálů s maximálně jedním positivním
literálem (ostatní jsou negované). Hornova klauzule s právě jedním positivním
|