Go through each case once
Use karnotation