truthtable2

Popper encoding for the truthtable2 problem.
Back to my Popper page.