functional completeness
property of a set of logical connectives which can express all possible truth tables by combining members of the set
property of a set of logical connectives which can express all possible truth tables by combining members of the set