"de Morgan’s laws" Deutsche bedeutung