[082349872349872]

The pragmatic CS sol'n is to ground logic via truth tables. There are only two bools, so displaying a few bool*bool->bool operators is really not that much data. (data = those which have been given)