Belnap gates

References

• [N. D. Belnap, A Useful Four-Valued Logic][Belnap1977]
• [Ghica, Kaye, and Sprunger, A Complete Theory of Sequential Digital Circuits][Ghica2025]

inductive Circuit.BelnapGate : Type

The gate set for Belnap circuits: the logical AND, OR and NOT gates.

• and : BelnapGate
• or : BelnapGate
• not : BelnapGate

@[implicit_reducible]

instance Circuit.BelnapGate.instGateBelnapLevel : Gate BelnapLevel BelnapGate

Equations

• One or more equations did not get rendered due to their size.