[tex=0.786x1.0]T7005W34/8mGVxFwUziasQ==[/tex] 和 [tex=0.5x0.786]4ocYMFyE/c2U+6VJoq+vww==[/tex] 是具有两个运算对象的逻辑运算符，如果 [tex=5.071x1.357]+F8/lrTYlMT44Ra2yoEn8A==[/tex] 和 [tex=7.571x1.357]w3YZsIO4dILJtl3KuHd1wKjD7iVU7mL1XwUd4RO3XYI=[/tex] 逻辑等价，那么说 [tex=0.786x1.0]T7005W34/8mGVxFwUziasQ==[/tex] 在 [tex=0.5x0.786]4ocYMFyE/c2U+6VJoq+vww==[/tex] 上可分配。（a）用真值表证明 [tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex] 和 [tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex] 互相可分配。（b）[tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex] 和 [tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex] 对自己可分配吗？（c）数的加法和乘法对自己可分配吗？

设[tex=3.929x1.357]f5V84Szd2S70dDLYUkVIAoMYVZBrgZqQroa37UoAmtM=[/tex]是字母表，[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是[tex=1.143x1.071]BIGbjVj+NxCdqLtWBHgVow==[/tex]中含有[tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]的所有以[tex=0.571x0.786]c59+3vo0/Vn/FvNRhDRu5g==[/tex]开头的字符串集合，试证[tex=4.929x1.286]2byI112KGAkIV9n7d2P5FDbmRmPiRSLxwPrOnVGpg8C9c9zf8GPpCkY7GvvtePn0[/tex]是独异点。

记[tex=8.286x1.357]3DFJnclB2iMUZ1ZLTWKP9mLFF4C2E96dr15GLRb596A/0H7PE4w3Ym1ABOOKWal3[/tex]为[tex=4.643x1.357]e2FxIkJXcTmeM1OfeQ478g==[/tex]，求出它的对偶式[tex=4.857x1.429]BDINY+W8n7L4fNEfRARehg==[/tex]，再求出[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]和[tex=1.071x1.0]QqeNyuYxlo34WAudwf1PFA==[/tex]的仅含联结词[tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex]、[tex=0.714x0.786]6q8p9lMFUWWDREpz/ILTuQ==[/tex]的等价式。

一个有两个运算对象的逻辑运算符，如果交换运算对象的次序，产生一逻辑等价命题，则称为可交换的。（a）确定下述逻辑运算符哪些是可交换的：[tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex]、[tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex]、[tex=1.0x0.643]ePwHuhbm5r3VZa4sjoEfGw==[/tex]。（b）用真值表证明你的断言。

设 [tex=0.5x0.786]4ocYMFyE/c2U+6VJoq+vww==[/tex] 是具有两个运算对象的逻辑运算符，如果 [tex=4.214x1.357]IFDyLCs5Rc66wPTX79yj9w==[/tex] 和 [tex=4.214x1.357]9f5EnQqJ/2bSDKXiREseHA==[/tex] 逻辑等价，那么运算符 [tex=0.5x0.786]4ocYMFyE/c2U+6VJoq+vww==[/tex] 是可结合的。（a）确定逻辑运算符 [tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex]、[tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex]、[tex=1.0x0.643]ePwHuhbm5r3VZa4sjoEfGw==[/tex]哪些是可结合的。（b）用真值表证明你的断言。