Problem: Implications and converse

Problem

Solution