The logically equivalent proposition of `p harr q` is
`(p nn q) uu ( p uu q)`
`(p -> q) nn (q -> p)`
`(p-> q) uu (q -> p)`
`(pnnq) -> (puuq)`
i dint get the question