• 2022-10-29
    已知真值函数[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex],[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex],[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex] ,[tex=0.786x1.0]K1/XWzOhtHGAb7kJAVBomw==[/tex]的真值表如下表所示。用下列联结词集合中的联结词表示的与[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex],[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex],[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex] ,[tex=0.786x1.0]K1/XWzOhtHGAb7kJAVBomw==[/tex]等值的一个命题公式。[tex=1.786x1.357]iSVmJqA5Ayqi5BrS3T0BvA==[/tex]。[img=936x117]179174163903586.png[/img]
  • 解:题中给出的[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex],[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex],[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex] ,[tex=0.786x1.0]K1/XWzOhtHGAb7kJAVBomw==[/tex]都是2元真值函数,给出的5个联结词集都是全功能集。可以用观察法或等值演算法寻找与真值函数等值的公式,首先寻找在各联结词集中与[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]等值的公式。 设[tex=12.857x1.357]Ho6tV47dFRsdRKcKqUrSWF67dNfQy4e9eLFKUHpSC5ylrFrppbXRy71cr+jzMZSLJD64v5YBIrDd8Gc1oNoOJM2ylKEY/1YT5cD3tkABRkA=[/tex],易知[tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]为[tex=1.786x1.357]zfJndbdgJ26DUBbYKPjLCA==[/tex]中公式, 且[tex=3.071x1.0]wIi8WwBxZkaEY65d2Xe5RB6sot+Kx8wXO7igJ/wbFYM=[/tex]。分析[tex=0.929x1.071]buZKswv8GSg4ZQySlQudzA==[/tex]只要找到一个联结词集中与[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]等值的公式,经过等值演算就可以找出其他联结词集中与[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]等值的公式。例如,已知[tex=5.5x1.357]Fmu9XgyTe4LaRWNY1VbU8grYfxDv4EX/+scwZvwq6rw=[/tex]是[tex=3.0x1.357]H1l3eKE8TLdVdBhFOVz3xb3rPGRqwRQpFEiM0J3sRyY=[/tex]公式,且[tex=3.0x1.0]wIi8WwBxZkaEY65d2Xe5RGd+A5UDaIvUxbxopami8dc=[/tex]。进行以下演算,就可以找到与[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]等值的其他联结词集中的公式。对[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]进行等值演算,消去联结词[tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex],用[tex=0.714x0.786]6q8p9lMFUWWDREpz/ILTuQ==[/tex]、[tex=0.714x0.857]weBpb/2ml6U+Fl6BzKpe+A==[/tex]取代,得[tex=5.5x1.357]NChkD+LdDwDCyiP6W2v9SapE5mw1s/l5m3wtboE7IaI=[/tex][tex=5.5x1.357]y8LuSm71q2LpxnLwWvR1b3k2ALpATgs6oMZ3AY6yOChmEX4b91peOMedrX210Vag[/tex][tex=7.0x1.643]rOrw2E3Z1BdSSAw41TowZ9G1ZSZhNQVpA1MlbC1AjEG2ipq5b3RlyJ8sN9H13L1Q25mtXlhfX8tl2vh6i6OrDA==[/tex]则[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]为[tex=2.643x1.357]WV/uq4Uixpvhr911y+RSpf0MwegMingbw/iOorL9feY=[/tex]中公式,且[tex=3.0x1.0]wIi8WwBxZkaEY65d2Xe5RJ2tv4CPnH3OtmkhmT6+7Ds=[/tex]。再对[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex]进行等值演算,消去[tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex],用[tex=0.714x0.786]6q8p9lMFUWWDREpz/ILTuQ==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex]取代,得[tex=5.5x1.357]IZdqyFZZsHHKIZ1nNupabD7/pqm+t/GMx3dDjNRyr/I=[/tex][tex=8.357x1.643]rOrw2E3Z1BdSSAw41TowZ5r2C86OjlB+WgX12qig0YMGe2cVbbz1to96XU6eAHSA/GVJ0ifFHf09IW6CQvNY4uKv3AsR5eOCuwKawDO5cwk=[/tex]。则[tex=0.714x1.0]YiLkHgl7MlxE+QjUplQUKA==[/tex]为[tex=2.786x1.357]mNWBzOM0l9eGNx9EMcIRUVGy4WAv9dy4h+OzAKhQbp4=[/tex]中公式,且[tex=2.929x1.0]wIi8WwBxZkaEY65d2Xe5RLLe0DVrI466hD91YBwzUv0=[/tex]。再对[tex=0.786x1.0]sHo1pKm+gjxjcUAJjHrarQ==[/tex]进行演算,消去[tex=0.714x0.786]6q8p9lMFUWWDREpz/ILTuQ==[/tex]、[tex=1.0x0.643]lWeQV6P6oxUnQrINCG7o9A==[/tex],用[tex=0.5x1.214]9oFoRT+YlUeFQlzd8Jyr7A==[/tex]取代,在演算中,注意,对于任意的公式[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex],有[tex=11.143x1.357]QI3Nw2QyF5A5eaN7Xr2KO+sLkbWZIXxxPo7rRLSi0ZVMFIzj7Av1eKzuL4StjCclbBBDmDymBFPqSCofTqiDfwCDqUblkPvOEuX5bdFDY4o=[/tex][tex=4.286x1.214]apE880msMFujlh25I7v8IOYg/9QgGVVrb3CUc9C2z6A=[/tex][tex=5.643x1.357]y8LuSm71q2LpxnLwWvR1b1rp+sL7iRIqV0oRaShWRuxKGgLlC0Ct3OzrQ3p5YYTa[/tex][tex=7.786x1.357]y8LuSm71q2LpxnLwWvR1b6Bg1gLmlcF4ydEZHJh++oedTpq+pI5nFksYp5QreOCkbVfrNXH2mVs16I/9aNxh9Q==[/tex][tex=7.071x1.357]y8LuSm71q2LpxnLwWvR1bzH9mCGzkwifUGw0k9IUUEfd86OAq37uYH4VtWVeKESt[/tex][tex=15.357x1.643]rOrw2E3Z1BdSSAw41TowZ2RGY6tL+5T087WpfxFn9gsLEmOrMkHkh5xoCN0IilRpYRaRFHWZT7rgcxS7VDmrzpuEtuDa4QBhDMzw2fgfPJ+kyzVBloX3qntVDs/Kb6JkuXHhBKXZUtvWCTce7EdL+Q==[/tex]则[tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]为[tex=1.786x1.357]gO+VgZkb4oT0X4sf3GLuDw==[/tex]中公式,且[tex=3.071x1.0]wIi8WwBxZkaEY65d2Xe5ROMjkEZQmY8D0jANVFtly0k=[/tex]。再对[tex=0.714x1.0]YiLkHgl7MlxE+QjUplQUKA==[/tex]进行演算,消去[tex=0.714x0.786]6q8p9lMFUWWDREpz/ILTuQ==[/tex]、[tex=0.714x0.857]ni0BrrUlP8ed56rjpUA7cg==[/tex],用[tex=0.5x1.214]V6tPtanuL2mCSBWHhUcANw==[/tex]取代,在演算中注意,对于任意的公式[tex=0.786x1.0]b4HkKtHXeHofHX/gJc8Agg==[/tex],有[tex=11.143x1.357]QI3Nw2QyF5A5eaN7Xr2KO9UI3i/ef3ofqPVqaohPylEVUpVaLt+B4Rd9l8Lw+t4NTjoFIDw76VHkW97ohYDdBpaMybAs+8p3ju7at3Zari8=[/tex][tex=6.571x1.357]f5lH52aqDlarNCW0IaKpUYYm+FgGm4v3e3jTaeOsh+UE/NQ2HUGsoNXBIq5E8uy4[/tex][tex=4.0x1.214]y8LuSm71q2LpxnLwWvR1b7WWlzTVHuWcef2v2oioURgFmeeex/WkXF3hYOp6wBNn[/tex][tex=8.571x1.643]rOrw2E3Z1BdSSAw41TowZ5e8RDkXcuP17TiTMY6cUXeeGWQp8P/Z+kU/R/Agi7VNzmJUrqgopGK1WRi5thvzQM/GYSOd0TBoVwD40XwYpCI=[/tex]则[tex=0.786x1.0]I/kNMtd8YcgkWCrgriW/hA==[/tex]为[tex=1.786x1.357]ztru2cRqVdOt6Vl/EIHMBckG9LJyFw1WFkIOFnQMn3M=[/tex]中公式,且[tex=3.0x1.0]wIi8WwBxZkaEY65d2Xe5RMbWF8eCL41I9LWqkKiwwwk=[/tex]。[tex=0.929x1.071]GF6lPkbwM1/sKcTXI74B5g==[/tex]开始找一个与某真值函数等值的公式的方法,除观察法外,就是根据该真值函数的真值表,求它的主析取范式,而后进行等值演算即可。例如,由[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的真值表可知[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex]的主析取范式为[tex=3.571x1.071]3OTFDwu8Ww0U+4Yr9htQ5I09UMtM2wzU6GtI9CFetwQ=[/tex],于是[tex=5.929x1.214]wj+DBIx5gbmP1mhA1zGnskqboHeWiy2NUYnmc/KzoC6yRZEFAfdpQ4V5Ll5CCOU6[/tex][tex=8.786x1.357]6oSx/K5XZFw3nNa7cfPiQpj25WhqFRBpIJwO8vwN0bVvNLFcbwYSJub1NQZmUtks5Z4Bca7NgsOJnLbggc27Bg==[/tex][tex=6.429x1.357]6oSx/K5XZFw3nNa7cfPiQmK9vDxGrPcOOf/NO0aVoDIsdRfdCw3vSHWl/9rhWWZu[/tex][tex=1.786x1.0]y8LuSm71q2LpxnLwWvR1b7qO/T6Ykx/1iNgATMtB2OQ=[/tex]由于公式[tex=0.5x1.0]jedlXyMYwmfVwxRj2j9sSw==[/tex]不带联结词,所以,它应该为任何联结词集中的合式公式。[tex=0.929x1.071]9/ixLDjuSXaJpaOE7n+RlQ==[/tex]在各联结词集中找到的与某真值函数等值的公式并不惟一,例如,取[tex=4.643x1.214]s7I22EtcoLtfzhb3BGbwWHzTripZIIGssic/O2uqXpU=[/tex] ([tex=3.5x1.357]vbTOxeXq43fxvwY81NZvUQ5WBA1S+Q7wVPhEJTLWZeM=[/tex]中公式)[tex=3.571x1.214]/RB2M99I6eHRVhjY4W1RGQ==[/tex]([tex=2.786x1.357]sjb4EyiggcCvsI+CKih35bA+8yABkhReaDsTGhuXkpc=[/tex]中公式)[tex=3.5x1.214]l4Ll8zFPL6WTact82fYkfA==[/tex]([tex=2.786x1.357]BiehrZmHh4tc+c50QLX5ig==[/tex]中公式)[tex=8.143x1.357]1MEjBERbVWLZJBGyhncdQXaGAfzk9vabXG5KVu0D+3n7FA5qRwfXMGHDPQsJew44[/tex] ([tex=1.786x1.357]3sZ9FhhLBZoeiF8gClpf1A==[/tex]中公式)[tex=8.071x1.357]H1lq0YlYJF3hy1/MHBoUiT2c4ghXY0SnyuDFQ7H8gmlVmSWf+0Xkp8g6wjjTGX1a[/tex]([tex=1.786x1.357]fxU/CNe37TFyNS0JIX8qOg==[/tex]中公式)则[tex=12.357x1.0]IBSaU7RutSw3aacuDs9EQlrUmQ6tNYCmWNPoRcHzdir+wvPnA4qgqxoPwobM+SGLj3uhiOWHVHPfc/wDkLSB/aSv+txBEHJFMiEobRFZtn7lN9O6IE6nv/0BVHGfEH4l[/tex],对于同一个真值函数[tex=0.786x1.0]LyvDGollVJ+xwurtsLcn0g==[/tex],找到与它等值的形式各异的公式。对于[tex=0.857x1.0]aPLFPHMGSKDwulHSwLWugg==[/tex]和[tex=0.786x1.0]AOSTmhvIsOwsdZlGoks7dg==[/tex],请读者自己去完成。

    举一反三

    内容

    • 0

      图(a) 所示起重机在连续梁上,已知[tex=4.143x1.214]iI2wIEmq+gu2oraEYzpFsA==[/tex],[tex=4.143x1.214]x/NOrlUEXGXZLYNQQp6TPA==[/tex],不计梁质量,求支座 [tex=0.786x1.0]kEam2pLJe4uAYVdcny2W5g==[/tex]、[tex=0.786x1.0]EsJDtGYVBcAkNM+hi9jDJg==[/tex]和[tex=0.857x1.0]PvQ1rNj9zmhWbdNmDhnQhA==[/tex]的反力。[img=378x282]179b1d368b0b737.png[/img]

    • 1

      化合物[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]是白色固体,不溶于水,加热时剧烈分解,产生固体[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]和气体[tex=0.714x1.0]J/aA9EEo0KmJFnWWfX7LmQ==[/tex]。固体[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]不溶于水或盐酸,但溶于热的稀硝酸,得溶液[tex=0.857x1.0]m2DKAQtGuc1DyN3zyNlILg==[/tex]及气体[tex=0.786x1.0]XvHgf70VtK2FH5G93l0k3g==[/tex]。[tex=0.786x1.0]XvHgf70VtK2FH5G93l0k3g==[/tex]无色,但在空气中迅速变红。溶液[tex=0.857x1.0]m2DKAQtGuc1DyN3zyNlILg==[/tex]用盐酸处理时得一白色沉淀[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex]。气体[tex=0.714x1.0]J/aA9EEo0KmJFnWWfX7LmQ==[/tex]与普通试剂不反应,但与热的金属镁反应生成白色固体[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]。[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]与水反应得另一种白色固体[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]及气体[tex=0.571x1.0]qmbwF4Pp2sLBvOFTeKQ/mA==[/tex]。[tex=0.571x1.0]qmbwF4Pp2sLBvOFTeKQ/mA==[/tex]使润湿的红色石蕊试纸变蓝。固体[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]可溶于稀硫酸得溶液[tex=0.5x1.0]ycRjqHa76IDpEZtluYQxdQ==[/tex]。化合物[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]用硫化氢溶液处理时得黑色沉淀[tex=0.857x1.0]eMszuSG5by5UfRZVROYp5A==[/tex]、无色溶液[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]和气体[tex=0.714x1.0]J/aA9EEo0KmJFnWWfX7LmQ==[/tex],过滤后,固体[tex=0.857x1.0]eMszuSG5by5UfRZVROYp5A==[/tex]溶于硝酸得气体[tex=0.786x1.0]XvHgf70VtK2FH5G93l0k3g==[/tex]、黄色固体[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]和溶液[tex=0.857x1.0]m2DKAQtGuc1DyN3zyNlILg==[/tex]。[tex=0.857x1.0]m2DKAQtGuc1DyN3zyNlILg==[/tex]以盐酸处理得沉淀[tex=0.643x1.0]J+LW/0i6Fe+lWEmBUgT8zg==[/tex],滤液[tex=0.714x1.0]ravtxd2oof9d0U26ZFAIhw==[/tex]用[tex=2.929x1.0]hDBgS4vkPPF/GdLrz2cj/A==[/tex]溶液处理又得气体[tex=0.571x1.0]qmbwF4Pp2sLBvOFTeKQ/mA==[/tex]。请指出[tex=0.786x1.0]Yn3GgEZev6SOu2r4v1WnCw==[/tex]至[tex=1.0x1.0]/4LSvKfNeQWJ+IvWbbbjdA==[/tex]表示的物质名称,并用化学方程式表示以上过程。

    • 2

      设[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是包含在群[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]的中心内的一个子群. 证明 : 当[tex=2.143x1.357]AgjHffxzQb9fKjeZTf8lUg==[/tex]是循环群时,[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]是交换群.

    • 3

      设计一个奇偶校验电路,当 4 个输入逻辑变量 [tex=0.786x1.0]kEam2pLJe4uAYVdcny2W5g==[/tex] 、[tex=0.786x1.0]ri6gmnf1+J9dGqG5/1sV6A==[/tex]、[tex=0.714x1.0]J/aA9EEo0KmJFnWWfX7LmQ==[/tex]、[tex=0.857x1.0]nFZS78e5wCWJ2ZClZqqa4Q==[/tex] 中有奇数个 "1" 时,输出为 1, 否则输出为 [tex=0.643x1.0]zF4Kx5he5zAWuyWsMZMVhw==[/tex] 。

    • 4

      判定如图所示的图[tex=0.786x1.0]JTRtgqQ00R3dUQzwS4iwbg==[/tex]和[tex=0.857x1.0]h610M+sGyf59WggKwaDo1Q==[/tex]是否是同构的。[img=361x165]179bbcd7fbd2179.png[/img]