🌈 搜索
📅  最后修改于: 2022-03-11 15:02:24.810000             🧑  作者: Mango
A x (P(x) V Q(x))