Functional forms of dual-comparable functions and a necessary and sufficient condition for readability of a majority function | IEEE Journals & Magazine | IEEE Xplore