离散数学——脑洞大开篇

果然，凡是和数学沾边的，没有一个是省油的灯！

可是，我就像那个扑火的飞蛾，谈不上着迷，但是却十分好奇，十分的感兴趣，于是乎，我的行径离那个飞蛾，也差不多了。

如果说，线性代数，概念之纷繁、过程之抽象，已经够让人头疼的。那么线性代数相比于离散数学，可能就是冰山一角的一角，离散数学，涉及到数理逻辑(近代科学的演绎推理)、代数系统(布尔代数——计算机二进制基础······)、图论、数论(此二者，难，难于上青天)、排列组合(至今想起高二的排列组合，不禁感慨，当时数学老师的思维，实在是太跳跃灵活了，我就只能扼腕叹息也)

好了，不多说了；今天给大家来几道离散数学的题目，明天给大家详细的解答Ψ(￣∀￣)Ψ

哑元是指不起作用的变量，比如布尔代数F(x,y,z)，其中F(0,y,z)=F(1,y,z)=f(y,z);F表示原来的逻辑函数，而x无论取1或者0不影响逻辑函数的值改变，所以这里x就是哑元；
输出服从均匀分布，是指每一个F(x,y,z)，他的输出结果0和1的数目是一样多的，针对本例中F是个三元函数，所以0和1的数目分别为4；
最后一行的容斥原理，是解决问题的一个方向o(*￣▽￣ *)o

2.

$|A|、|B|$分别是指集合$A$和$B$中的元素个数；
在本题中，$A$对应的是定义域，$B$对应的是值域，大家要注意一点，函数值是值域的子集(换言之，