使用C语言写的求解一道简单的逻辑推理题的例子。具体题目请看说明。-use of the C language to write a simple solution to the logical inference that example. See note specific topics.