NB. One Bit Alu Model, Problem 1, Test 2, Fall 1998

oneBitAlu =: monad define
('a' ; 'b' ; 'sub') =. y.
t =: bitOr ( bitAnd sub, bitNot b) , bitAnd b , bitNot sub
bitAdder a , t , sub
)