$[(p\wedge(q\implies p')] \implies (q\vee p)$ bileşik önermesinin en sade şekli nedir?

Question

[(p^ (q=>p')] => (qvp) bileşik önermesinin en sade şekli nedir?

Answer 1

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$.