aweary/predicate.js

Last active November 10, 2016 15:54

Star () You must be signed in to star a gist
Fork () You must be signed in to fork a gist

Learn more about clone URLs
Clone this repository at <script src="https://gist.github.com/aweary/b32ed12c829bcbc352ebb18f3641255c.js"></script>
Save aweary/b32ed12c829bcbc352ebb18f3641255c to your computer and use it in GitHub Desktop.

Download ZIP

Predicate logic in Javascript

Raw

predicate.js

	const nand = (x, y) => !(x && y)
	const not = (x) => nand(x, x)
	const and = (x, y) => not(nand(x, y))
	const or = (x, y) => nand(not(x), not(y))

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment