لتطابق هو صيغة منطقية تكون دائمًا صحيحة بغض النظر عن قيم المتغيرات. بعبارة أخرى، في جدول الحقيقة، تكون النتيجة1 (صحيحة) لكل التكوينات الممكنة للمدخلات.
2. Satisfiabilité (القابلية للتحقق)
القابلية للتحقق تشير إلى صيغة منطقية يمكن أن تكون صحيحة على الأقل في حالة واحدة على الأقل من تكوينات المدخلات. بعبارة أخرى، في جدول الحقيقة، هناك صف واحد على الأقل تكون نتيجته 1
3. Antilogie (التناقض أو الزيف المطلق)
التناقض هو صيغة منطقية تكون دائمًا خاطئة بغض النظر عن قيم المتغيرات. في جدول الحقيقة، تكون النتيجة
0(خاطئة) لكل التكوينات الممكنة.

свернуть