yán xué shù > fǒu dìng zhī guī 
nínshìfǒuzàixúnqiú:否定否定析取支规则gèngduōjiéguǒ...