====== Literál ======

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

Příklady literálů: **A<sub>1</sub>(//2//)**, ¬**A<sub>1</sub>(//2//)**, 
**A<sub>2</sub>(//1//,//5//)**, ¬**A<sub>2</sub>(//1//,//5//)**.   

Příklady literálů odvozených z matice dat 
[[https://lispminer.vse.cz/guhadi/doku.php?id=lm_guha_di_hotel_prehled_skupin|Hotel]]: \\ 
**HStát(//Rakousko//,//Německo//)**,  ¬**HStát(//Rakousko//,//Německo//)**.