Fredkin gate

• You can use a Fredkin gate to make NOT, AND, OR
• The way you do this is similar to the way Boolean logic is defined for lambda calculus (see Church encoding

)