got stuck on the second part of this question.

show that

P Λ Q ≡ (P l Q)l(P l Q)

≡ ~((P l Q)Λ(P l Q))

≡~ (P l Q)

≡ ~(~(P l Q)

≡ P Λ Q

use part 1 as example to write P Λ (~Q ∨ R) using only Sheffer stokes?

Printable View

- Aug 2nd 2011, 12:33 PMdemarkusSheffer stoke help please
got stuck on the second part of this question.

show that

P Λ Q ≡ (P l Q)l(P l Q)

≡ ~((P l Q)Λ(P l Q))

≡~ (P l Q)

≡ ~(~(P l Q)

≡ P Λ Q

use part 1 as example to write P Λ (~Q ∨ R) using only Sheffer stokes? - Aug 2nd 2011, 01:07 PMPlatoRe: Sheffer stoke help please