问答题 求下面式子的前束范式： x（￢ヨyP（x，y））→（zQ（z）→R（x））.

问答题 某班学生50人，会FORTRAN-IV语言的40人，会ALGOL-60语言的35人，会PL∕1语言的10人，以上三门都会的5人，都不会的没有，问仅会两门的有几人？

问答题 证明下面公式： xP（x）→ヨxQ（x）x（P（x）→Q（x））.