افزونگی
redundancy
نظریه سودهی
switching theory
مدار منطقی
logic circuit
منطق صوری
formal logic
منطق ارجحیت
majority logic