When you can't live without bananas

Get email updates of new posts:        (Delivered by FeedBurner)

Wednesday, December 06, 2006

(p -> q) v [(p • r) -> q]
~p v (q -> s)
s

Testing the validity of this by contradiction is bad enough, let alone truth tables.
Related Posts Plugin for WordPress, Blogger...
powered by Blogger | WordPress by Newwpthemes