time due | submission file |
---|---|
10:25 PM Monday 12 September, 2005 | csci/431/HW3/BoolEq.atg |
This is a small "warm-up" assignment for the next couple of homework. The continuing textbook example for Chapter 2 has been a "calculator" example. I want you to specify a Boolean equivilence language. The input to this language will be potential Boolean equivilences. Some example input for this languauge follows:
(A B) == ~(~A + B)
A B == ~~A
A == A + A B
1 == A + 1
Note that the language supports, three Boolean operators:
(1), and, denoted with concatentation;
(2), or, denoted with +
; and
(3), not, denoted with !
.
In addition, the langauge has an equivlence
operator ==
, which
should occur only once in each line, along with constants
0
and 1
.
Copy your Coco/R grammar to the assignment drop-off directory.