Алгебра логіки

     Виникнення інформатики зажадало зовсім іншої математики. Об'єкти інформатики абстрактні й дискретні. Вони абстрактні, по-перше, у тому розумінні, що той самий інформаційний процес може мати різні матеріальні втілення й, отже, сам по собі не має фізичної інтерпретації. Вона виникає при його використанні й може бути різної залежно від області застосування. По-друге, вони абстрактні в тому розумінні, що дуже часто не мають не тільки фізичної, але й числової інтерпретації. Звичний тепер абстрактний підхід до логічних функцій (інтерпретація несуттєва, це просто функції, у яких аргументи й самі функції приймають два значення) здавався тоді занадто складним саме через свою абстрактність. Логічна інтерпретація, тобто зв'язок із законами логічного мислення, була далека від електричних схем і тому мало що пояснювала. Тому для ясності була придумана арифметична інтерпретація, при якій конъюнкция зображувалося як множення, заперечення х - як арифметична операція 1 - х, а диз'юнкція х V у представлялася формулою х + в - ху.