1, ஆனால் இல்லை இரண்டும் தான் P ஒரு binary இலக்கம் மற்றும் Q இருந்தால் ஒரு binary இலக்கம் மற்றும் P அல்லது Q குணம் கொண்ட ஒரு தர்க்கம் இயக்கி உள்ளது, பின்னர் ப க்காகவும்-அல்லது Q உள்ளது 1.