How to translate truth table to logic expression?

[ericwan2018]

Now ,I have a problem , I need to translate truth table to logic expression, anybody can give a demo based on newest api, thanks!

eg. this truth below:
00 0
01 0
10 0
11 1

now, assuming there are 2 inputs , how can i get the logic expression result 'A & B' ?

[wjrforcyber]

Your question is vague, expression of a truth table can various a lot, it's not canonical, though if you just want a black box, the most easiest way would be to:
ABC command line: "read_truth -x 1000; write_blif and2.blif".
and you will get:

# Benchmark "ex" written by ABC on Mon Jul 14 13:42:47 2025
.model ex
.inputs a b
.outputs F0
.names a b F0
11 1
.end

As the BLIF format shows, $f_B = a b$

[ericwan2018]

Your question is vague, expression of a truth table can various a lot, it's not canonical, though if you just want a black box, the most easiest way would be to: ABC command line: "read_truth -x 1000; write_blif and2.blif". and you will get:

# Benchmark "ex" written by ABC on Mon Jul 14 13:42:47 2025
.model ex
.inputs a b
.outputs F0
.names a b F0
11 1
.end

As the BLIF format shows, f B = a b

---

ok, Perhaps my question is not clear enough, After some tests, I obtained the results I needed, just like the following:

> read_truth -x 10000000; bdd; strash; balance; logic; print_factor
n5 = (ab)
n6 = (cn5)

This expression is exactly what I need.

Now I need to use APIs in my C++program to achieve this.