""
					/				|					\
				a					b					c
		/		|		\		/	|	\			/	|	\
	aa			ba		ca		ab	bb	cb			ac	bc	cc
/	|	\
aaa	baa	caa





TDA
	constructori de bază
	operatori
	axiome
	
	not F = T
	not T = F
	
	
	
(not T):
(λx.((x λx.λy.y) λx.λy.x) λx.λy.x) ->
((x λx.λy.y) λx.λy.x) [λx.λy.x / x]
  =                
((λx.λy.x λx.λy.y) λx.λy.x) ->
(λy.x [λx.λy.y / x] λx.λy.x)
    =
(λy.λx.λy.y λx.λy.x)
λx.λy.y  ~ F


(not F):
(λx.((x F) T) F)
((F F) T)
T





(f x) = x -> x punct fix al lui f


(Fix F):
( λf.(   λx.( f ( x x ))   λx.( f ( x x ))   )   F)

(λx.( F ( x x ))   λx.( F ( x x ))   )

(F   (λx.( F ( x x ))  λx.( F ( x x )) ))