let logicOps(a, b) := (a && b, a || b, !a)
assert(logicOps(true, false) = (false, true, false))