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

Question

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

Comments

p'vq en sade şeklidir

Answer 1

$1 \implies 0$ disinda hepsi $1$ verir.


Simdi 

$p \land q'$ onermesinin $1$ olmasi demek $p=1$ ve $q=0$ olmasi demek.

Bu durumda $\implies$'in diger tarafi $(1\implies 1) \land (1 \implies 0)$ olur, yani $0$ olur.

Demek ki bu kosulda onerme $0$ degeri aliyor, digerlerinde $1$.
 
Yani onerme $p' \lor q$ onermesine denk.