In Boolean logic, a product term is a conjunction of literals, where each literal is either a variable or its negation.