OR gates used as NOT
It's a &quot;bubble-matching&quot; exercise where bubbles are matched to bubbles, and non-bubbles are matched to non-bubbles, which requires substituting some gates for De Morgan equivalents.