fcn f(a,b){a and b}
fcn g(a,b){a or b}
fcn h(a){(not a)}