De_Morganovy_zákony loading ...