ràng buộc logic

C-STAT