[p^(q^q') ]' önermenin en sade şekli​