[arslan]

1-r' ancak ve ancak p≡(r ancak ve ancak p)'
denkliğinin ispatlayınız.
2-
(x=4) ise(3x+1=13)
teoremini olmayana ergi metodu ile ispatlayınız
3
((0' ancak ve ancak 0)' ancak ve ancak(1vo))' ancak ve ancak(1 ancak ve ancak 0)
bileşik önermesinin doğrulkn değrini bulnz
4-
p ise((q'vs)v(q^r)')≡0
old.göre (q^p) ancak ve ancak(svr)) ise r'
bileşik önermesinin doğrulk değerinin blnz,
5
s ise (r'^s))ise ( s ise r)'
bileşik önermesinin en sade hali nedir??

[_yengec_]

5.(s ise (r'^s))ise ( s ise r)'
bileşik önermesinin en sade hali nedir?

=(s'vr'^s)ise(s ise r)'
=(0vr')ise (s'vr)'
=(1^r)v(s^r')
=1^r v s^r'
=1vs ^ r^r'
=1vs ^0
=0

[_yengec_]

4-
p ise((q'vs)v(q^r)')≡0
old.göre (q^p) ancak ve ancak(svr)) ise r'
bileşik önermesinin doğrulk değerinin blnz,

p ise ifadesi 1-0 değerinde 0 olur. p=1 ((q'vs)v(q^r)') =0
0=((q'vs)v(q^r)')
0=q'vsvq'vr' v işlemi 0-0 da 0 q'=0 s=0 r'=0 q=1 r=1

verilen işlem ((q^p)<=>(svr))ise r' yerine koy ((1^1)<=>(0v1))'v0 =0

[ayhaneva]

[ayhaneva]

[ayhaneva]

[arslan]

teşekkürşer ama 4.sorunun cevabı 1
5.sorunun cevabı s^r'