The observation that a bubbled input OR gate is interchangeable with a bubbled output AND gate is referred to as:

• a Karnaugh map
• DeMorgan's second theorem
• the commutative law of addition
• the associative law of multiplication