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