QuineMcCluskey equations