This is driving me nuts. I'm sure the answer is completely obvious. I'm using > for the if A then B b/c there's no keyboard symbol for that, and * for the and operator because same reason. 1. B v (S*N) 2. B > ~S 3. S > ~ N / B v W I have no idea what to do with these if/then statements, how to separate them, or anything, because I can't get any of the premises by themselves from the first statement. Please help? Thanks.