LogicRecovery

LogicCircuit

A simple structure representing a logic circuit with inputs and outputs.

create_full_adder()::LogicCircuit

Create a full adder circuit instance.

create_logic_circuit(n_inputs::Int, n_outputs::Int, circuit_function::Function;
                    input_labels::Vector{String}=String[],
                    output_labels::Vector{String}=String[])::LogicCircuit

Create a logic circuit with specified number of inputs and outputs.

• n_inputs: number of input bits
• n_outputs: number of output bits
• circuit_function: function that takes input array and returns output array
• input_labels: labels for input bits (optional)
• output_labels: labels for output bits (optional)

evaluate_circuit(circuit::LogicCircuit, inputs::Vector{Bool})::Vector{Bool}

Evaluate the circuit with given inputs and return the outputs.

get_all_circuit_states(circuit::LogicCircuit)::Vector{Vector{Bool}}

Return all possible input-output states of the circuit as a vector of vectors. Each inner vector contains [inputs..., outputs...].

print_circuit_truth_table(circuit::LogicCircuit)

Print the truth table of the circuit with labeled inputs and outputs.