Однажды я задал одному досужему гуманитарию, считающему, что «Гугл знает всё», вопрос: «Программисты часто используют трёхзначную логику. Где именно?» Думаю, «гуглит» до сих пор. А ведь всё не так уж и сложно. Прежде всего хотелось бы отметить, что значности логик не имеет никакого отношения к понятию основания системы счисления, как это иногда полагают. Что же такое формальная многозначная логика?