Có thể triển khai logic như mệnh đề p nhất định đúng ở tối đa hai trạng thái dọc theo một đường dẫn trong CTL không?
25 tuổi đỗ CA, làm Big 4 muốn chuyển sang tư vấn. Có nên thi CAT 2016 để vào tư vấn không?