В математической логике литералом называют атомарную формулу, без 0 и 1, или ее логическое отрицание. Соответственно, разделяют два типа литералов:
* Положительный литерал — непосредственно атомарная формула.
* Отрицательный литерал — логическое отрицание атомарной формулы.
В математической логике литералом называют атомарную формулу, без 0 и 1, или ее логическое отрицание. Соответственно, разделяют два типа литералов:
* Положительный литерал — непосредственно атомарная формула.
* Отрицательный литерал — логическое отрицание атомарной формулы.