La "y" de (C) es un conector "lógico", ya que da el valor de verdad de (C) está completamente determinado por el valor de (A) y (B), tiene sentido para el estado (A) "y" (B) con el resultado(C).