Mathematical Logic Truth Table