This is a tool for experimenting with the four-valued Belnap system of logic. To get started, choose a way of specifying a function in Belnap logic below.
Input method
Type in a string below to generate its truth table.