Clark normál forma
Kapcsolódó fogalmak:
elsőrendű logika
Kapcsolódó fogalmak:
predikátumszimbólum
Kapcsolódó fogalmak:
határozott klóz - A hozzászóláshoz bejelentkezés szükséges
- Nyomtatóbarát változat