Literál

Literálem rozumíme základní booleovský atribut A(α) nebo jeho negaci ¬A(α).

Příklady literálů: A₁(2), ¬A₁(2), A₂(1,5), ¬A₂(1,5).

Příklady literálů odvozených z matice dat Hotel:
HStát(Rakousko,Německo), ¬HStát(Rakousko,Německo).