(q^r)'v(qv0) bileşik önermesinin bir totoloji olduğunu gösteriniz