Boolean Value Example

• Goal:

 (IF TRUE x y) => x

 (IF FALSE x y) => y

• Solution:

 IF : xyz.(x y z)

 TRUE: pq.p

 FALSE: pq.q