Для двузначной булевой алгебры логики TV определяется числом возможных двоичных наборов (п = 2): TV = 16. При п = 3 можно образовать TV = 256 логических функций.
Кроме логических функций в логике предикатов имеются еще операции квантификации - кванторы. Это специальные операции, которые служат для выражения общности суждений и связанных с ними понятий (табл. 2) и позволяют на формальном языке исчисления предикатов говорить не об одном объекте, а о целом классе объектов.
Полную систему логических функций называют логическим базисом. Чтобы система функций представляла собой базис, она должна обладать определенными свойствами.
Чтобы система функций была полной, необходимо и достаточно, чтобы она содержала хотя бы одну функцию: не сохраняющую константу «единица», не сохраняющую константу «нуль», нелинейную, немонотонную, несамодвойственную. read this entry »