Skip to content
Free public beta until December 4, 2026: every course is open, no card needed. After that, the first chapter of each course stays free and full access is a one-time $39 ($19 for up to 100 founding members chosen for helpful feedback). Your progress is kept. How the beta works

literal

A sentence letter or the negation of one.

A literal is either an atomic sentence or the negation of an atomic sentence. Normal forms are built from literals.

Examples

  • P and ¬Q are literals; ¬¬P and P ∧ Q are not.

See also

disjunctive normal form conjunctive normal form
Read the full section →