next up previous contents
Next: Implikatsioon (implication) Up: No Title Previous: Homomorfism (homomorphism)

Horni lause (Horn clause)

- ülimalt üht positiivset literaali sisaldav disjunkt.



Jaan Penjam
Mon Sep 2 19:01:04 EET DST 1996