5 elem listázva.
- Konjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Diszjunktív normálforma (← erre mutató hivatkozások | szerkesztés)
- Herbrand-univerzum (← erre mutató hivatkozások | szerkesztés)
- Kanonikus alak (← erre mutató hivatkozások | szerkesztés)
- Wikipédia:Cikkértékelési műhely/Matematikai szócikkek/32 (← erre mutató hivatkozások | szerkesztés)