(P(Q∧RQ)是一个合式命题公式,其中P、Q、R是命题变元
出自:西安交通大学---离散数学

完成拼图验证

按住下方滑块,将拼图拖到缺口处后松开。

拼图背景,将小拼图拖到缺口处
向右拖动滑块