mantık sorusu

Question

(p => q) ^ (p' => q) bileşik önermesi neye denktir?

Answer 1

1)  $p\equiv1$ olsun $(p\Rightarrow q\equiv 1\Rightarrow q \equiv q$ olacak ve $(p'\Rightarrow q\equiv 0\Rightarrow q\equiv 1$  ve $q\wedge 1\equiv\equiv q$ olur.

2)  $p\equiv 0$ olsun $(p\Rightarrow q\equiv0\Rightarrow q\equiv 1$ olacak ve $(p'\Rightarrow q\equiv1\Rightarrow q\equiv q$  ve $1\wedge q\equiv\equiv q$ olur.

Sonuç$\equiv q$ dır