peter krey's web site

scholarship, sermons, songs, poems, weblog writing on Wordpress.com

The problem of the Two definitions of the Strong “or”, also called the Exclusive “Or” and “XOR” and showing it to be the dual of “iff”

leave a comment »

Deriving the Two Expressions of the Exclusive “Or” from each other and showing that “XOR” is the dual of “iff,” that is, if and only if.

I have done the derivation of the exclusive “or” (XOR) in long hand. Here is the scan of my work:

img029

Advertisements

Written by peterkrey

June 10, 2009 at 6:39 am

Posted in Logic

Leave a Reply

Fill in your details below or click an icon to log in:

WordPress.com Logo

You are commenting using your WordPress.com account. Log Out / Change )

Twitter picture

You are commenting using your Twitter account. Log Out / Change )

Facebook photo

You are commenting using your Facebook account. Log Out / Change )

Google+ photo

You are commenting using your Google+ account. Log Out / Change )

Connecting to %s

%d bloggers like this: