Belnap gates

References

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

inductive Circuit.BelnapGate : Type

• 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.