Tautology

logic

Definition

Tautology

A tautology is a logical statement that is always true, regardless of the truth value.

To describe that a Boolean function $F$ is a tautology, the notation $\models F$ (logical consequence) is used.