리터럴은 atomic formula(aka 'atom' or 'prime formula') or its negation.
리터럴이란, 원자식,atomic_formula(원자식,atom) 혹은 그것의 부정,negation.

리터럴들의 disjunction은 절,clause.

아톰,atom

a variable or its complement, in a logic expression. / 그것을 곱한 것도.
ex. ab'c+a'b+a'bc'+b'c' 에서 10개의 literals: a, b, c, a', b', c', ab'c, a'b, a'bc', b'c'

Boolean_variable or its complement / 그것의 곱..... 불_식,Boolean_expression에서.

...또는 (다른 소스) variable or its complement만 literal이라 하기도 함. 위 예에서 a b c a' b' c' 6개가 literals.
이때 하나 이상의 literal을 AND 연산자로 결합한 것(즉, 리터럴들의 논리곱)을 곱항,product_term이라 함. a, a'b, 등등.
그리고 product term with n literals(n은 모든 변수의 수)를 최소항,minterm이라 함. (ex. 세 변수 a, b, c가 있을 때 abc, abc', ...., a'b'c' 이 8개가 minterms)

숫자리터럴, - 수,number 숫자,digit
https://narucode.org/0/숫자_리터럴
숫자리터럴
숫자리터럴
숫자리터럴 ... rel. magic_number

integer_literal =,integer_literal =,integer_literal . integer_literal
integer literal
정수리터럴
정수,integer
Integer_literal
= https://en.wikipedia.org/wiki/Integer_literal
정수리터럴
"integer literal"

character_literal =,character_literal =,character_literal . character_literal
문자리터럴
문자,character 리터럴,literal
C : https://en.cppreference.com/w/c/language/character_constant
C++ : https://en.cppreference.com/w/cpp/language/character_literal
Character_literal
= https://en.wikipedia.org/wiki/Character_literal
"character literal"
문자리터럴

문자열리터럴 - 문자열,string
문자열리터럴,string_literal =,string_literal =,string_literal . string_literal
string literal
string_literal ?
https://narucode.org/0/문자열_리터럴
문자열리터럴
"string literal"
문자열리터럴 x
문자열리터럴
문자열리터럴
문자열리터럴

template_literal =,template_literal =,template_literal . template_literal
{
template literal
템플릿 리터럴

template_literal ?
Template_literal ?

js의 이것에대해. (js 외에서도 사용하는지? chk)
https://developer.mozilla.org/ko/docs/Web/JavaScript/Reference/Template_literals
템플릿 리터럴
템플릿 리터럴

"template literal"
"템플릿 리터럴"
}

Boolean_literal =,Boolean_literal =,Boolean_literal . Boolean_literal
{
Boolean literal
Boolean 리터럴
https://narucode.org/0/불린_리터럴

Boolean 리터럴
Boolean 리터럴
}

function_literal =,function_literal =,function_literal . function_literal
{
"함수 리터럴" ?

Function_literal
function_literal x 2023-08-23
Ndict x
함수 리터럴
함수 리터럴
}

...

풀,pool

Literals in Programming Languages
https://www.gavilan.edu/csis/languages/literals.html
"This paper covers the history and use of literals (or constants) in programming languages"

PL:

https://narucode.org/0/리터럴

리터럴
Literal_(computer_programming)
= https://en.wikipedia.org/wiki/Literal_(computer_programming)
= https://en.wikipedia.org/wiki/Literal_(computer_programming)

Logic:

Literal_(mathematical_logic)