Литерал

Материал из Википедии — свободной энциклопедии

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

• Положительный литерал — непосредственно атомарная формула.
• Отрицательный литерал — логическое отрицание атомарной формулы.

[править] Литерал в логике высказываний

В логике высказываний литералом называют переменную или ее логическое отрицание.

Соответственно, положительным литералом называют непосредственно переменную, а отрицательным литералом — логическое отрицание переменной.