contradiction (formula)
A compound proposition false on every row of its truth table.
A contradiction is false regardless of its atoms' truth values -- p\wedge\neg p is the simplest example.
See also
Point table
Graph settings
Calculator