De Morgan's first theorem and second theorem?

De Morgan's first theory is that the NAND gates stay on the left with the two points, while the right side has inverted inputs on the OR gate to create the Bubbled OR. The second theory has a NOR gate on the left side with the two points and the right side with an AND gate that has inverted inputs to create a Bubbled AND.