Testing of logic operation