Consider the following two operators larr and $++>,$ which are

characterized by the following truth tables:

Determine whether these two operators together form an

expressively adequate set.

If so$,$ show how they can define all of the operations of a set we have

already established to be expressively adequate.

If not describe some truth function that they cannot express, and say

why these operators cannot express that function.