Логические величины и их свойства