Hacker News new | ask | show | jobs
by danbruc 985 days ago
Truth-preserving in this context means that the function value is true if all function arguments are true. If you only have truth-preserving functions available, then you can not output false if all inputs are true, hence you can not build all possible functions. An analog argument applies to falsehood-preserving functions.
1 comments

I see. I wasn't familiar with that term in this context, thanks.