The project implements the idea of encoding a binary image by means of a logical expression. Basically, the idea is to make a truth table for the expression and to split it into two dimensions (by dividing variables into two columns), and the corresponding values of the table will be the values of the image bits.
img-to-expr demo (not finished)
For a^b+c:
[] []
[][]
a+c*b^d:
[][]
[][]
[]
[][][]
a=b=c=d=e:
[] [] [][]
[][] [] []
[][] [] []
[] [] [][]
- true -
- false -
[]