[WingedPanther]

Effectively, here's what my Venn diagrams are doing:

F = y’z’ + x’yz + x’y + xyz + xz’
F = (xy'z' + x'y'z') + (x'yz) + (x'yz + x'yz') + (xyz) + (xyz' + xy'z') //write each xyz combo explicitly
F = xyz + xyz' + xy'z' + x'yz + x'yz' + x'y'z' //write each value once
F = (xyz + xyz' + xy'z') + (x'yz + x'yz' + x'y'z') + (xyz + xyz' + x'yz + x'yz') + (xy'z' + x'y'z') + (xyz + x'yz) + (xyz' + xy'z' + x'yz' + x'y'z') // write all the items that correspond to x, x', y, y', z, z', duplicating as necessary
F = (xyz + xyz' + xy'z') + (x'yz + x'yz' + x'y'z') + y + (xy'z' + x'y'z') + (xyz + x'yz) + z' // any quads get rewritten as single letters, highlight any items that they covered
F = y + z' // ignore any sets that are covered by the singletons