"التطابق" هو مشغل رياضي يُطبق في العمليات المنطقية. قاعدة عمله هي: a تطابق b = ab + a'b' (حيث a' هو النفي لـ a).
لقد استخدمت مؤخرًا: