Resolving Truth Values

Both values known:

T

T

T

T

 

T

 

 

 

 

 

 

 

 

T

 ∇

T

T

T

 

T

 

 

T

 

 

T

 

 

 

 

T

T

T

T

 

T

 

 

 

 

T

 

 

T

 

 

T

T

T

T

 

T

 

 

 

 

 

 

T

 

 

At least one value unknown:

T

?

?

T

?

?

?

?

 

?

 

 

?

 

 

 

 

 

 

?

 

 

T

?

?

T

?

?

?

?

 

T

 

 

T

 

 

?

 

 

?

 

 

?

 

 

T

?

?

T

?

?

?

?

 

?

 

 

T

 

 

T

 

 

T

 

 

?

 

 

T

?

?

T

?

?

?

?

 

?

 

 

?

 

 

?

 

 

?

 

 

?

 

 

Rules for Truth Functions