# A Simple Notation

From: David Cressey <cressey73_at_verizon.net>
Date: Thu, 05 Jul 2007 11:21:52 GMT
Message-ID: <kv4ji.6553\$za5.2586_at_trndny09>

In Boolean algebra, you could, if you wanted to, express everything by just using brackets, as follows:

[A B] means NOT (A AND B)

This notation can be extended to 3 or more operands, as follows:

[A B C] means NOT (A AND B AND C)

"AND" is associative, so there's no confusion.

You can reduce the notation to 1 operand as follows:

[A] means NOT (A)

And to zero operands as follows:

[] means TRUE
[[]] means FALSE

[[A B]] = A AND B
[[A] [B]] = A OR B

Now my question is, can you do the corresponding thing in the RA, using <NOT> and <AND>? I don't see why not.

[[A B]] = A <AND> B
[[A] [B]] = A <OR> B

As written text, this notation is rather unwieldy, but you can represent it fairly tightly in internal data structures. And its simplicity does make some things easier. Received on Thu Jul 05 2007 - 13:21:52 CEST

Original text of this message