能显示某种逻辑性质的表达式。逻辑中的许多公式是等值的，但在表达形式方面很不相同。某种特定类型的表达式能显示出重要的逻辑性质，这种表达式称为范式。等值公式可以相互转换，每一公式都可以转换成它的范式。范式可以为千差万别的公式提供一个统一的表达形式，从而显示出它的逻辑特性。主要的范式有合取范式，析取范式和前束范式等。