Это называется "математическая логика" (матлогика). И не "правда", а "истина". В бинарной логике, на которой построены все современные цифровые компьютеры, любое высказывание либо "истинно" (True), либо "ложно" (False).