利用范式证明下列公式为永真式（证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有[tex=1.0x1.0]DZx/OFQDLjQ4q8V7+NbAeA==[/tex]个析取项,n是公式中变元的个数).[tex=11.786x1.357]uBq9iSKwfMlL47k6PcZAp/Foi8eR1haQsxXjqDvsLv/dpjAx5vvjq7pdMInUtUlaYA8UBxLDUQESgrThxq7VD0dyT/4KzoRC9yCXbWKV+TJyzZxneTa26BvPkF9umyF0[/tex]

2022-06-17

利用范式证明下列公式为永真式（证明合取范式的每一个合取项中含有互补文字,或其主析取范式中含有[tex=1.0x1.0]DZx/OFQDLjQ4q8V7+NbAeA==[/tex]个析取项,n是公式中变元的个数).[tex=11.786x1.357]uBq9iSKwfMlL47k6PcZAp/Foi8eR1haQsxXjqDvsLv/dpjAx5vvjq7pdMInUtUlaYA8UBxLDUQESgrThxq7VD0dyT/4KzoRC9yCXbWKV+TJyzZxneTa26BvPkF9umyF0[/tex]

答案：

[tex=18.071x4.214]uBq9iSKwfMlL47k6PcZAp/Foi8eR1haQsxXjqDvsLv/dpjAx5vvjq7pdMInUtUlaYA8UBxLDUQESgrThxq7VD0dyT/4KzoRC9yCXbWKV+TItayxMArMFSB17rhKfwFHXCoV/y/mK25aDN/X5+s3aFcMosfI2DiCWKtBYjknNf8cegBy+L9MyoeMZ+1KgSfvFAfFEKOoUNn3k7GN2ijrFtrEh/HlfuR+iegeFqKL3r2eCC5tzFP60V5g1DNTX9ZRauhjCZRtRO99XhEuPxCMm28r/IyujDvLUPmuVDHBJxRXCfefgESOd3xvnoJrEbB7TOQ53NA/dirZiiAupIvCdzmR4qGBi/ueyEDJKA2gCgLspdH3TiCmkhdAXAPgdcrb9g/E3Hna5CgYP+5VF/ZGNVQ==[/tex][tex=20.643x5.643]AYVIySG034EUPXWSqUHF/cMlTTqM5/dDepPBLXvRe6eAUI+PbJCXGUd9rEQo/Ycug0h+Il96tmK2Ag2MInpOpTImxr+GeZW9x1HR7XZ4eJ+0460NNUxi+yIjxqRIlocNM/+TXSPlpvVlfUva8nUoby4P0mHJXXN2NFKBHFN8bfFH3cvxiBpHfQ0+SkkJ/3ChkgIIM4MIRwllLwkOxk4UvKR86Jb69L0lLWb2xSNAhJKZGgzY2Fzxm/0RkggPeL5CEFah3uaQ9X2+CYmjkOYFKTlWu7ZZSz2/kllKvMC4Il3NmDO3cQQe7zx3q+t/zUeUa2PaZVai7w8j1WLriXjEJg4HMlMhit0BAxvoKgmcRtAWpjr4blpJEur8Y8DfkB5v9TIrX6DeezFM4F0woLWQl7pBwoUXclvPnsxJ58O68zLyV0S4mGsVH5fi6vx5PxOKWq3TkCypx2tJNYsw06Be1xQJKApZdOKussSWHH6y/u7mw1W/aEtl781esajQ4cg0Ejl/Rb7Y0O7DRrw0JhIKPw==[/tex][tex=26.786x7.071]eMHIStlWSx0T8qDy44PC2+l0LEKGk3MrMoyIT8boW41pdlPZO7BQewc/2k6vWFBIU8CpmfzeBLzlcbv7Y1QugLw+5Ct0TS1T71+bWFkm3gVUp4xGi/PzuiLgMJhrAIHm9o10yy/z3zxHyXEu5LgPj7nRdqhBpsFDZ2+l9VN+0lFdIcaKCRKxn9dgXLSzf7ElDDydJHcXIa7wHAJ1w92PRVgJ3IjrNfYTuPpGaW0J0AHsnL0aQitCj31q0JiRq4i5IWUeWlgAae6PKl4+JI54QWQrCSYgLSrhW0jrPMBZLGeyznDTptsGdO6DloHEXLoEY1VqBAfoZgHhpVPrbmvrzNaNtQs9KOM9e79wPHj/+C0s90E+A4g2myAdP9E89Jhsd6fD/4P+PQ+zjlqBYbiZLdT0MLPnZTgX9ObEf3Pes3d0xRkz9SmK5TRh44RONSroAGgmLz/iBI8nVhy0hM3H+3g62q/U2kBVhAXQYOg9Cgff28LUe6GtJtZfNmm29j/O8jriBPfA8p/kgrqKMyaM7Bvp+JYkXKRWIU7hgkuokOUyz1cqRmG1Rxur4rxdTAsGahMAd25RXR183gdc6I+2LPvQa+SclYmTw7yEp+oRCECtLyHLaljY2zFqsiljV5z7dThgUDeSG6q4tHYvrYssNNriFNF1NAC2+DTwOxfgiYoCSuag8LiTr2/lx70j7bVSoMk7pOZ6Qs+irlReXiGAtQ==[/tex]因为主析取范式中含有 [tex=0.929x1.214]9Iu+kCc6Zm4XbXtMrkjmAw==[/tex]个析取项,故原式为永真式.

举一反三

内容

0
输出九九乘法表。 1 2 3 4 5 6 7 8 9 --------------------------------------------------------------------- 1*1=1 2*1=2 2*2=4 3*1=3 3*2=6 3*3=9 4*1=4 4*2=8 4*3=12 4*4=16 5*1=5 5*2=10 5*3=15 5*4=20 5*5=25 6*1=6 6*2=12 6*3=18 6*4=24 6*5=30 6*6=36 7*1=7 7*2=14 7*3=21 7*4=28 7*5=35 7*6=42 7*7=49 8*1=8 8*2=16 8*3=24 8*4=32 8*5=40 8*6=48 8*7=56 8*8=64 9*1=9 9*2=18 9*3=27 9*4=36 9*5=45 9*6=54 9*7=63 9*8=72 9*9=81
1
对序列 {98, 36, -9, 0, 47, 23, 1, 8, 10, 7} 采用希尔排序，下列序列（）是增量为4的一趟排序结果。 A: {-9, 0, 36, 98, 1, 8, 23, 47, 7, 10} B: {36, 98, -9, 0, 23, 47, 1, 8, 7, 10} C: {10, 7, -9, 0, 47, 23, 1, 8, 98, 36}
2
求下列公式的主合取范式，再用主和取范式求主析取范式：[tex=4.286x1.357]0Ais5Y7hSfG3tcfX7mSTPDvu6EdDNwEke6C1h9vEhAY=[/tex]
3
A=[1 2 3 4 5 6 7 8 9]A(5)=[]A=1 4 7 5 8 3 6 9
4
设DES加密算法中的一个S盒为： 0 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 0 1 2 3 14 4 13 1 2 15 11 8 3 10 6 12 5 9 0 7 0 15 7 4 14 2 13 1 10 6 12 11 9 5 3 8 4 1 14 8 13 6 2 11 15 12 9 7 3 10 5 0 15 12 8 2 4 9 1 7 5 11 A: 1010 B: 0001 C: 1011 D: 0111