The substrate
Trinity
A three-valued logic core in C11, with a governed operation engine on top of it. Fifty-six exported functions, three hundred and sixty-two checks, clean under address and undefined-behaviour sanitizers.
Truth table, computed live
This is not a picture of a truth table. Each cell is a call to
trinity.truth_table through the governed engine.
Evaluate an expression
Sign in to the console to run this against the engine — evaluation is a governed operation, not a JavaScript function.
Epistemic discipline
Computed is not verified.
A result that has been produced is not the same as a result that has been checked, and neither is the same as a result that has been checked independently. The engine keeps the three apart, and so does every screen in this product.
