... 1,1)¹

The meaning of ``table number'' is not important. It is just a way to uniquely identify each truth table. See the comments at the beginning of the program if you are curious.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.

... successes,²

The command used was multi-logic -t T,F,M. If we wanted to see each possibility and why it might fail, we would have to add -v for ``verbose'': multi-logic -t T,F,M -v.

.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.
.