( p v q ) => bileşik önermesinin denk olan bileşik önerme nedir?