O'Reilly logo
  • Yasir Jamal thinks this is interesting:

cout = (ab) + cin⋅(ab)

From

Cover of Verilog® HDL: A Guide to Digital Design and Synthesis, Second Edition

Note

This is incorrect, instead of “+” there needs to be a xor sign.