Adım adım açıklama:
tam hatırlamıyorum ama galiba şöyleydi :
p v q ^ p v p
özellikleri unuttum kolay aslında