Hornova klauzule: Porovnání verzí

Skočit na navigaci Skočit na vyhledávání
Odebráno 58 bajtů ,  před 15 lety
bez shrnutí editace
Bez shrnutí editace
Bez shrnutí editace
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
Neregistrovaný uživatel

Navigační menu