Skip to main content

Questions tagged [oracles]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
1 answer

Algorithm for idempotent algebra

A boolean algebra expression can be converted into an idempotent algebra using $$\bar a \equiv 1-a, \qquad a \vee b \equiv a+b -ab, \qquad a \wedge b \equiv a \otimes b$$ where $\otimes$ is the ...
Ben Crossley's user avatar