Consider the following universal statement in a Boolean algebra $(B,+,*,$not$).[$The symbol

notb represents the complement, or negation of binB. It would normally be shown as $b$ with

an overstrike line above it$,$ but limitations of the Canvas math editor prevent this. In this

problem, interpret nota and notb as the complements of a and $b,$ respectively.$]$

AAa,binB,$(a+$notb$)*a=$nota

Select the one choice that is true.

The predicate is equivalent to a tautology.

The predicate is equivalent to a contradiction.

The predicate is true only when $a=$notb.

The predicate is true only when $a=b.$