Definition:Characteristic Truth Table