DeMorgan's Laws (logically):

These laws dictate how one must take the complement of a logical statement.

As a consequence of this, in the design of digital systems, any AND gate can be replaced with an OR gate -> One must merely invert the assertion levels of all the inputs and the output. In world of mixed logic this can be very useful for reducing the amount of hardware needed to implement a function.