小 T 最近在学习离散数学,书上有一句话:
n 个命题变项只能生成 个真值不同的命题公式。
现在小 T 想要知道,对于两个给定的正整数 n, p, n 个命题变项在模 p 意义下能生成多少个真值不同的命题公式?
形式化的说,对于两个给定的正整数 n, p: 计算 的值
取模运算的定义为
数据保证
一行,两个正整数 n, p
一行,一个整数表示
3 1223
256