formula_list(usable). % De Morgan's laws

	( all x y ( c(n(x,y)) = u(c(x),c(y)) )).	%11a

	( all x y ( c(u(x,y)) = n(c(x),c(y)) )).	%11b

end_of_list.