Related Experiment Video
Updated: Mar 2, 2026

Gene Digital Circuits Based on CRISPR-Cas Systems and Anti-CRISPR Proteins
Published on: October 18, 2022
Separating OR, SUM, and XOR Circuits
Magnus Find1, Mika Göös2,3, Matti Järvisalo3
1National Institute of Standards and Technology, USA.
None:
Given a boolean n × n matrix A we consider arithmetic circuits for computing the transformation x ↦ Ax over different semirings. Namely, we study three circuit models: monotone OR-circuits, monotone SUM-circuits (addition of non-negative integers), and non-monotone XOR-circuits (addition modulo 2). Our focus is on separating OR-circuits from the two other models in terms of circuit complexity: We show how to obtain matrices that admit OR-circuits of size O(n), but require SUM-circuits of size Ω(n3/2/log2n).We consider the task of rewriting a given OR-circuit as a XOR-circuit and prove that any subquadratic-time algorithm for this task violates the strong exponential time hypothesis.
Related Concept Videos
Sum and Difference OpAmps
A summing amplifier, or an adder, utilizes an op-amp to merge multiple input signals into a single output signal. When audio signals are introduced into its input channels, the input resistors initiate currents that traverse feedback resistors, resulting in an output voltage. Applying Kirchhoff's current...
First-Order Circuits
One common example of a first-order circuit is the RC (resistor-capacitor) circuit. These circuits are used in relaxation oscillators such as neon lamp oscillator circuits. When voltage is...
Second-Order Circuits
Input signals typically originate from voltage or current sources, with the output often representing voltage across the capacitor and/or current through the inductor. For example, in...
Even and Odd Signals
Superposition Theorem for AC Circuits
The principle of superposition stipulates that the output of a linear circuit with several concurrent inputs is equivalent to the...
Norton Equivalent Circuits

