在逻辑代数中常把对偶式描述为：设F 是一个逻辑函数式，如果将F 中的所有的* 变成+，+ 变成*，0 变成1，1 变成0，而变量保持不变，所得到的新逻辑函数式F'就是F 的对偶式。例如，逻辑函数式F=AB+(~C)的对偶式F'=(A+B)(~C)。 在命题逻辑中常把对偶式描述为：在仅含有联结词与（∧）、或（∨）、非（┌）的命题公式A中，将∨换成∧，∧换成∨，若A中还含有0或1，则还需将其中的0换成1，1换成0，而命题保持不变，所得到的新命题公式A*就是A的对偶式。例如，命题公式A=┌(P∧0)的对偶式A*=┌(P∨1)。若把逻辑代数里的逻辑变量：A、B……，替换成命题：P、Q……；把逻辑代数里的运算符：与（·）、或（+）、非（~），替换成：与（∧）、或（∨）、非（┌），逻辑代数就成了命题逻辑。
反函数：一般地，设函数y=f(x)(x∈A)的
值域是C，根据这个函数中x,y 的关系，用y把x表示出，得到x= g(y). 若对于y在C中的任何一个值，通过x= g(y)，x在A中都有唯一的值和它对应，那么，x= g(y)就表示y是
自变量，x是因变量y的函数，这样的函数x= g(y)(y∈C)叫做函数y=f(x)(x∈A)的反函数，记作y=f^-1(x). 反函数y=f^-1(x)的
定义域、值域分别是函数y=f(x)的值域、定义域.
函数你要是说
偶函数和反函数肯定不一样