Got tired of doing these by hand for classes so I made a little program… VERY basic, only handles one missing variable, but it orders them in terms of min terms and multiplies them out properly… perhaps ill generalize it more the N terms and make a little web service out of it….