Literaal: verschil tussen versies
Verwijderde inhoud Toegevoegde inhoud
plus voorbeelden |
Geen bewerkingssamenvatting |
||
Regel 7:
Twee literals zijn '''complementair''' als de één de negatie is van de ander, bijvoorbeeld ''p'' en ¬''p''.
Een literal is '''maximaal''' in een clausule als de literal de grootste is op basis van een bepaalde ordening van literals.
[[Categorie:Logica]]
|