Then I simplify the boolean representation.

The demo is hosted in streamlit (https://inversql.streamlit.app).

Sorry if this is a repost, my previous post had the wrong tag.