Minterms
Variables
Source
quine mccluskey, minimization algorithm
