INV (Inverter)

Single-input logical negation primitive.

GATE

Model

I Q

Truth Table

Simic uses a 4-value logic system (0, 1, X, Z). For the Inverter, high-impedance (Z) is typically treated as an unknown (X) state.

Input I Output Q
0 1
1 0
X X
Z X

Boolean Description

Q = I

Equivalent Type Statement

Type=INV i=I o=Q