NAND

Format: NAND dest, source1, source2, source3, source4

Phase0: -

Phase1: NAND FT4, (FT1|_), FT2, (FT1.INVERT|_), S3

Phase2: -

Description: Bitwise NAND

FT1 is bit mask

FT4 = {FT1 &} FT2 NAND {~FT1 &} S3