[(p=>q)^(q=>p)]' işlemi sadeleştirirniz
('' ^ '' işareti ''ve'' olarak kulandım)