This is an old revision of the document!
Simple combinational gates
The following specifies a number of combinational gates, where the process names correspond to the commonly used names for the gates.
defproc inverter (bool? i; bool! o) { prs { i => o- } } defproc nand2 (bool? a, b; bool! c) { prs { a & b => c- } } defproc nor2 (bool? a, b; bool! c) { prs { a | b => c- } }