I needed to minimize some fairly complex logical functions, and I found Logic Friday very handy.
It runs also on Wine (at least run on my wine-1.1.43) but it will somehow complain if the complexity of the logical net will go up, while the same logical net will run with no problems on XP.
As it sometimes crashes with no warning signs, I suggest you to save often.
It’s a nice program and a breeze to use, although I find the graphical map input method a bit sluggish.