Answer:Options
a) (a not_eq b) gt (not( a bitand b) and_eq (a xor b))
b) (a not_eq b) > (compl( a bitand b) and_eq (a xor b))
c) (a not_eq b) gt (not( a bitand b) not_eq (a exor b))
d) (a not_eq b) > (compl( a bitand b) not_eq (a exor b))
Answer : b) (a not_eq b) > (compl( a bitand b) and_eq (a xor b))