f 0 true f 1 false f s x f x if true s x s y s x if false s x s y s y g x c y c g x y g x c y g x if f x c g s x y c y 2.2 g x c y g x if f x c g s x y c y f s x f x g x c y g s x y g x c y if f x c g s x y c y g x c y g x y g x c y f x true g x c y g x y g x c y g s x y true 1 0 0 s 1 1 false 0 0 c 1 1 1 true 0 0 f 1 0 0 0 0 if 3 0 f 1 0 g 2 2 0 if 3 0 g 2 0 g x c y if f x c g s x y c y false g x c y f x false f s x f x true 1 0 0 s 1 1 1 false 0 0 c 1 1 true 0 0 f 1 0 0 0 0 if 3 0 f 1 1 0 g 2 0 if 3 0 g 2 0 g x c y g x if f x c g s x y c y false NaTT certifiable-1.6