व्यंजक के लिए सत्यमान सारणी पूर्ण करें: A ∧ ¬A

यह अविरोध का नियम है: कोई चीज़ एक साथ सत्य और असत्य दोनों नहीं हो सकती। सत्यमान सारणी में प्रत्येक पंक्ति के लिए ⊤ (सत्य) या ⊥ (असत्य) चुनें।