Please upload all work, including conversion to CNF, and showing "using resolution that both of them are lying".

A man and a woman are talking. "I am a man" said the person with black hair. "I am a woman" said the person with white hair. At least one of them is lying. Formalize the puzzle using propositional logic and show using resolution that both of them are lying