Логические операции и таблица истинности: базовые свойства и принципы