Literal - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition An atomic formula or its negation, commonly used as the basic unit in clause-based representations and satisfiability procedures.
Literal - Natural & Formal Sciences - Mathematics & Logic Dictionary Definition An atomic formula or its negation, commonly used as the basic unit in clause-based representations and satisfiability procedures.
