Jump to content

Tautologies and contradictions

- - - - -

  • Please log in to reply
2 replies to this topic

#1
Apprentice123

Apprentice123

    Programming Expert

  • Members
  • PipPipPipPipPipPip
  • 430 posts
verify that the following propositions are tautologies, contradictions, or neither:

1)p ^ (~p)
2)p ^ p
3)p ^ ~ (p˅ q)
4)p ˅ ~(p ˅ q)
5)p ˅ ~(q ^ p)
6)q ˅ ~(p ^ (~p))

I found:
1) C
2) N
3) C
4) N
5) T
6) T

It's correct ?

#2
WingedPanther

WingedPanther

    A spammer's worst nightmare

  • Moderators
  • 16,831 posts
  • Location:Upstate, South Carolina
  • Programming Language:C, C++, PL/SQL, Delphi/Object Pascal, Pascal, Transact-SQL, Others
  • Learning:Java, C#, PHP, JavaScript, Lisp, Fortran, Haskell, Others
yes. All are correct.
Programming is a branch of mathematics.
My CodeCall Blog | My Personal Blog

#3
Apprentice123

Apprentice123

    Programming Expert

  • Members
  • PipPipPipPipPipPip
  • 430 posts

WingedPanther said:

yes. All are correct.

Thanks




1 user(s) are reading this topic

0 members, 1 guests, 0 anonymous users