قالب:توابع منطقية

الدخل A 0 0 1 1 المعنى
B 0 1 0 1
الخرج FALSE 0 0 0 0 مهما كان A و B, الخرج خاطئ. Contradiction.
A AND B 0 0 0 1 الخرج صحيح إذا وفقط إذا كان كل من A و B صحيحان.
A B 0 0 1 0 A لا يقتضي B. صحيحة إذا وفقط إذا كانت A ولم تكن B.
A 0 0 1 1 صحيحة طالما أن A صحيحة.
A B 0 1 0 0 A لا تقتضيها B. صحيحة إذا وفقط إذا لم تكن A وكانت B.
B 0 1 0 1 صحيحة طالما كانت B صحيحة.
A XOR B 0 1 1 0 صحيحة إذا وفقط إذا لم تكن A مساوية لـB.
A OR B 0 1 1 1 صحيحة إذا وفقط إذا كانت A صحيحة، أو B صحيحة، أو كان كلاهما صحيحاً.
A NOR B 1 0 0 0 صحيحة إذا وفقط إذا لم تكن A صحيحة ولا B.
A XNOR B 1 0 0 1 صحيحة إذا وفقط إذا كانت A مساوية لـ B.
NOT B 1 0 1 0 صحيحة إذا وفقط إذا كانت B خاطئة.
A B 1 0 1 1 A تقتضيها B. خاطئة إذا وفقط إذا لم تكن A وكانت B، صحيحة فيما عدا ذلك.
NOT A 1 1 0 0 صحيحة إذا وفقط إذا كانت A خاطئة.
A B 1 1 0 1 A تقتضي B. خاطئة إذا كانت A ولم تكن B، صحيحة فيما عدا ذلك.
A NAND B 1 1 1 0 كل من A و B صحيحتان.
TRUE 1 1 1 1 مهما كانت A و B، فإن الخرج صحيح. Tautology.