dual of a compound proposition