Логические системы в различных функциональных наборах и их реализация