Verze z 7. 1. 2007, 19:06 (editovat) 83.240.10.48 (diskuse) Bez shrnutí editace ← Přejít na předchozí porovnání		Verze z 7. 1. 2007, 19:08 (editovat) (zrušit editaci) 83.240.10.48 (diskuse) Bez shrnutí editace Přejít na další porovnání →
kde počet tvrzení spojených pomocí '''a''' je libovolný (i nulový). ~~====pokus o překlad prvního odstace anglické verze====~~ 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

Hornova klauzule: Porovnání verzí

Hornova klauzule (editovat)