Литерал (математическая логика)

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

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

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

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.