No; combinators do not correspond to logic gates. Combinator S in particular duplicates its 3rd argument: S x y z = x z (y z) producing larger terms, whil

No; combinators do not correspond to logic gates. Combinator S in particular duplicates its 3rd argument: S x y z = x z (y z) producing larger terms, while logic gates just compute fixed size boolean functions.