Skip to content
Digital logic (gates / K-map / truth table) templates

Physics — Logic: 2-bit equality comparator

Two XNORs and an AND test two 2-bit numbers for equality.

Template previewDigital logic (gates / K-map / truth table)
2-bit equality comparatorA0B0A1B1G1G2G3EqualEvaluated: 4 inputs, 1 output, 16 rows — Equal = ¬(A0 ⊕ B0) · ¬(A1 ⊕ B1).Equal = ¬(A0 ⊕ B0) · ¬(A1 ⊕ B1)

Make it your own.

title "2-bit equality comparator"
type gates
input A0 at (0,0)
input B0 at (0,1.5)
input A1 at (0,3)
input B1 at (0,4.5)
gate XNOR G1 at (3,0.75)
gate XNOR G2 at (3,3.75)
gate AND G3 at (6,2.25)
output Equal at (9,2.25)
wire A0 G1
wire B0 G1
wire A1 G2
wire B1 G2
wire G1 G3
wire G2 G3
wire G3 Equal