Table 1 Axioms for BRPA
From: RETRACTED ARTICLE: An algebra of reversible computation
No. | Axiom |
|---|---|
RA1 | \(x + y = y + x\) |
RA2 | \(x + x = x\) |
RA3 | \((x + y) + z = x + (y + z)\) |
RA4 | \(x \cdot (y + z) = x\cdot y + x\cdot z\) |
RA5 | \((x\cdot y)\cdot z = x\cdot (y\cdot z)\) |