Literal

A literal is either a logic variable, or the negation of a logic variable. Logicians also use literals.

Example

• A
• not(B)

References

Mano, M. Morris, and Kime, Charles R. Logic and Computer Design Fundamentals. 2nd Edition. Prentice Hall, 2000.