The dual of a logical expression