Для поиска начните вводить запрос
S-классификация функций трехзначной логики