nAnd True True = False
nAnd x y = True

nAnd2 x y	| x && y = False
				| otherwise = True