A discussion on the theory of logic value redundance | IEEE Conference Publication | IEEE Xplore