make use of simple land and lor symbols to represent boolean + and .