我正在尝试构建一个函数，其输出是具有上限的所有可能布尔表达式的列表。对于三个变量p，q和r，我的函数理论上是：
f（0）= {p，q，r} //这个符号指的是数学集，使得p，q和r属于f（0）。 f（n + 1）= {（A＆amp; B）使得A和B属于f（n）} Union {（A或B），使得A和B属于f（n）} Union {（不是A ）这样A属于f（n）} 我想接收一个矩阵，其行是所有可能的字符串的字符串，对应于由函数的n次迭代构建的布尔公式。例如：
f(2)=['p' ; 'q' ; 'r' ; '(p&q)' ; 'p&(p or q)' ; 'r or (p & r)' ; ... ]