[(p^ (q=>p')] => (qvp) bileşik önermesinin en sade şekli nedir?
Sol tarafin sifir olmasi icin p=0 ve q=0 olmali. Bu durumda sag taraf da sifir olur ve onerme dogru olur. Bu onermenin yanlis olabilecegi tek olasi durumdu. Demek ki onermemiz 1.