Logic Calucation in Veirlog

~z = x;
~X = X;

0&Z = 0&X = 0;
1&Z = 1&X = X;

Z&1 = Z&Z = Z&X = X;
X&1 = X&Z = X&X = X;

Z|0 = Z|Z = Z|X = X;
X|0 = X|Z = X|X = X;

Z^* = X^* = X;
Z~^* = X~^* = X;