Literal: variable or its compliment (i.e., $x_1, \not x_2$), et
Implicant: any product term for which the function = 1
Prime Implicant: groups of 1 that cannot be made larger
Cover: any group of implicants that cover all ones
Essential Prime Implicant: A prime implicant that must be included in any cover of the function
Shows when the output can be 0 or 1 because a given input condition will never happen, we don’t care about the input condition
