Verze z 7. 1. 2007, 19:08 (editovat) 83.240.10.48 (diskuse) Bez shrnutí editace ← Přejít na předchozí porovnání		Verze z 7. 1. 2007, 19:11 (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ý). ~~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 literálem se nazývá

Hornova klauzule: Porovnání verzí

Hornova klauzule (editovat)