In Boolean logic, an implicant that covers a minterm that no combination of other prime implicants can cover.