Horn klóz
Kapcsolódó fogalmak:
konjunktív normál forma (CNF)
Kapcsolódó fogalmak:
literál
Kapcsolódó fogalmak:
egységklóz
Kapcsolódó fogalmak:
ítéletkalkulus
Kapcsolódó fogalmak:
elsőrendű logika
Kapcsolódó linkek:
Horn-klóz - A hozzászóláshoz bejelentkezés szükséges
- Nyomtatóbarát változat