[(p =>0) ^q](1vp) birleşik önermesinin sadeleşmiş bişimi çözümü ve cvp