(p' V q ) ^ q' bileşik önermesi aşşağıdakilerden hangisine denktir? A) p=> q b)q=> p c) ( pVq)' D) p' ^ q
ee yarısına kadar buldum kafam karıştı pvrtersv olcak q
(pvq)'v(q^p)'^(p=>q)<=>(qvp)'
(p'^q') V (q'Vp') ^ (p'Vq) <=> (q'^p')
{(p'^q') V q' V p'} ^ (p'Vq) <=> (q'^p')
{[(p'^q') V q'] V p'} ^ (p'Vq) <=> (q'^p')
not: [(p'^q') V q'] = q'
{q' V p'} ^ (p'Vq) <=> (q'^p')
(p'Vq')^(p'Vq) <=> (q'^p')
{p' V (q'^q)} <=> (q'^p')
{p' V 0} <=> (q'^p')
p' <=> (q'^p')
{p' => (q'^p')} ^ {(q'^p') => p'}
{p V (q'^p')} ^ {(q'^p')' V p'}
{(pVq')^(pVp')} ^ {(qVp)Vp'}
{(pVq')^(1)} ^ {q V p V p'}
{(pVq')^(1)} ^ {q V p V p'}
(pVq') ^ {q V 1}
(pVq') ^ 1
pVq'