验证二进制数组是否是C中另一个数组的子集

我开始使用按位运算,几乎用XOR / OR / XOR序列解决它：

int is_subset (char *set_a,char *set_b,int size)
{
  /* The operation is performed with three bitwise operations,resulting in a
   * sequence of bits that will be equal to zero if set_a is a subset of
   * set_b. As a bonus,the positions where the sets differ will be
   * available in the resulting sequence,and thus the number of differing
   * positions can be obtained by counting the number of bits set (for exemple,* with __builtin_popcount in GCC).
   *
   *   Exemple (TRUE):              Exemple (FALSE):
   *   ================             ================
   *   set_a   00010011             set_a   00001011
   *   set_b   00110011             set_b   00110011
   *   ----------------             ----------------
   *   XOR     00100000             XOR     00111000
   *   set_b   00110011             set_b   00110011
   *   ----------------             ----------------
   *   OR      00110011             OR      00111011
   *   set_b   00110011             set_b   00110011
   *   ----------------             ----------------
   *   XOR     00000000             XOR     00001000
   */

  int i;
  for (i = 0; i < size; i++)
    if ( (((set_a[i] ^ set_b[i]) | set_b[i]) ^ set_b[i]) != 0)
      return FALSE;

  return TRUE;
}

但如果set_a为零(0000.0000),则失败(始终返回TRUE).我尝试了不同的策略(比如Bloom过滤器),但可能由于我的编程技巧,它远非快速或至少优雅.

有没有例外的标准,优雅的方式吗？

编辑：要清楚,在此上下文中,“子集”意味着第一个数组(set_a)中的所有位TRUE在第二个数组(set_b)中也为TRUE.第二个数组中可能还有其他位为TRUE,但如果它们在第一个数组中为FALSE则无关紧要.