literál

Rövid szöveges bemutatás: 
A logikai nyelvekben a literál fogalom az egészen egyszerűen egy állítást jelöl. A literált lehet egyszerű ilyenkor a literál egy literálból tevődik össze, vagy komplex, ilyenkor több literál valamilyen logikai kapcsolatát tekintjük egyetlen literálnak. Például: (A vagy B), ez egy komplex literál, amely az A és a B egyszerű literálok kapcsolatából tevődik össze. Tehát a literálok az elemi egységek egy logikai formulában. Egy literál lehet egy változó vagy konstans.