Functional forms of dual-comparable functions and a necessary and sufficient condition for readability of a majority function

The general relation between a Boolean function and its dual is discussed and dual-comparable (dc) functions and other concepts are defined. How these properties of general Boolean functions are reflected on majority functions is shown also. This wider viewpoint gives some insight on which properties of majority functions are intrinsic. Then there is discussion on the necessary and sufficient condition for realizability of a majority function in the language of a functional form as well as miscellaneous properties of majority functions when they are expressed with prime implicants.