if it is not the case that I have not both eaten and slept then I will not weep or moan E: I have eaten S: I have slept W: I will weep M: I will moan if it is not the case that I have not (both E and S) then I will not weep or moan if it is not the case that !(E & S) then I will not weep or moan if it is not the case that !(E & S) then !(W | M) if it is !!(E & S) then !(W | M) !!(E & S) → !(W | M) (E & S) → !(W | M)