Comment by larschdk

The source uses ○, not •, for the NAND operation.