8]
DEST[191:160]←(NOT(SRC1[191:160])) BITWISE AND SRC2[191:160]
DEST[223:192]←(NOT(SRC1[223:192])) BITWISE AND SRC2[223:192]
DEST[255:224]←(NOT(SRC1[255:224])) BITWISE AND SRC2[255:224].
DEST[MAXVL-1:256] ← 0
</pre>
<h3 id="vandnps--vex-128-encoded-version-">VANDNPS (VEX.128 encoded version)<a class="anchor" href="#vandnps--vex-128-encoded-version-">
			¶
		</a></h3>
<pre>DEST[31:0]←(NOT(SRC1[31:0])) BITWISE AND SRC2[31:0]
DEST[63:32]←(NOT(SRC1[63:32])) BITWISE AND SRC2[63:32]
DEST[95:64]←(NO