The logic symbols shown here are logically equivalent to:
‘a’ AND and ‘b’ OR gate
‘a’ NOR and ‘b’ NAND gate
‘a’ OR and ‘b’ AND gate
‘a’ NAND and ‘b’ NOR gate
The “bubble (O)” at input side represents negated values.
fig a: Y=A¯+B¯=A⋅B¯ (NAND) Fig b: Y=A¯⋅B¯=A+B¯ (NOR)