A=not(B)?
A=true?

A=false?

B=true?

B=false?

.
a=not(B)?
A=not(b)?
a=not(b)?
.
true=not(true)?
true=not(false)?
false=not(true)?
false=not(false)?
.
A=not(A)?
A=not(B)?
A=B?
.
A=not(B)?
B=string?
.
