(idea) by Tem42 Sun Nov 14 1999 at 9:08:41
A rule of propositional logic, otherwise known as Equiv.

(P#Q) = {(P>Q) * (Q>P)}
Or
(P#Q) = {(P*Q) ^ (~P*~Q)}

See Also: Everything Logic Symbols, Modus Tollens, Disjunctive Syllogism, Simplification, Addition(2)
del.icio.us Facebook Digg StumbleUpon Reddit (I like it!)
Y'know, if you log in, you can write something here, or contact authors directly on the site. Create a New User if you don't already have an account.