javascriptでSKIとかTFの実装とか

test.js

const I = x => x;
const K = x => y => x;
const S = x => y => z => x(z)(y(z));

const p = console.log;

const T = x => y => x;
const F = x => y => y;

//p(T(1)(0));
//p(F(1)(0));

//T,Fの関数を引数に渡す
const toBool = b => b(true)(false);
const toNum = b => b(1)(0);

const IF = b => t => f => b(t)(f);

const AND = p => q => (p)(q)(F);

const OR = p => q => (p)(T)(q);

const NOT = q => (q)(F)(T);

const NAND = p => q => ((p)(q)(F))(F)(T);   //NOT(AND)
const f = NAND;
p(f(T)(T));
p(f(T)(F));
p(f(F)(T));
p(f(F)(F));