4 lines
No EOL
12 KiB
XML
4 lines
No EOL
12 KiB
XML
<?xml version="1.0" encoding="UTF-8"?>
|
||
<!-- Do not edit this file with editors other than diagrams.net -->
|
||
<!DOCTYPE svg PUBLIC "-//W3C//DTD SVG 1.1//EN" "http://www.w3.org/Graphics/SVG/1.1/DTD/svg11.dtd">
|
||
<svg xmlns="http://www.w3.org/2000/svg" xmlns:xlink="http://www.w3.org/1999/xlink" version="1.1" width="721px" height="201px" viewBox="-0.5 -0.5 721 201" content="<mxfile host="app.diagrams.net" modified="2021-12-22T08:25:22.661Z" agent="5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/96.0.4664.110 Safari/537.36" etag="9-aTS3mqQ15w7WhGLN72" version="16.0.0" type="github"><diagram id="u61iNYiIhslxNpTlsWNH" name="Page-1">7VlLc9owEP41nkkOZCwLPziGVzqd0KHDdNLpTWBhu7EtV5Z59JDfXgnLGNkOpCSE0skJ+dNqd/Xt6rFCg71odUdR4o+Ii0PN0N2VBvuaYQDgWPxHIOscsU0nBzwauFKoBCbBbyxBXaJZ4OJUEWSEhCxIVHBG4hjPmIIhSslSFZuTULWaIA/XgMkMhXX0IXCZn6OOYZf4Jxx4fmEZWJ28J0KFsJxJ6iOXLHcgONBgjxLC8la06uFQkFfwko8bPtO7dYzimL1kwOfIHmdu91ubwdHIGfdM2PnesqVzCxRmcsbSW7YuKKAki10stOga7C79gOFJgmaid8mDzjGfRSH/AryJwsCLeTvEc+5VN2WUPOIeCQnloIvnKAsFPicxm0gTen0mcnILTBle7UByZneYRJjRNReRvW2pZK1+LsuQ2UUc/J1wGboEkUwTb6u5ZJI3JJl/QaxhNRBrbeaeJijmbU+0n67GvIkiwWI8TcVPIcbN7koW8FQJjvUrE/nTneUM3/JO6k2voDCtGdx1HcKy2b4WbaFLFwFozVEUhOt8WIritJViGsy3MlM0e/Q20W9V9BumudVaaV+XTlVdFzYbvd84k27WvrAA9GTVoGVgaM6t5sAdgnKNqhUOT6tYhUiF76/XzzL+moUgXBtKfvv32SxwEdfWI3FKhL43XwHQUJeAU18CoHkJnGgFAFBbAeCyKAXtg5S+K6N2u8boK3frczMK4LkpNWuUwgun9OxZWj/5Gs64S6K4urU2Ze377q22XeP46euFk3r2A8uokzoZXRapFjh4YtknotR6XHwZWOuo74HkYWgP12T8o1W/AtT4xC6vt+QnocwnHolROCjRrsp4KXNPSCJ5/okZW8viEWWMqFHIbQpDCq0NTKckozO8b+HJ6pUh6mG2T7DTHCiKQ8SCherJ2+8PTo148PRRQRxRQfQvewNoOqpOtQPsWQcH6+AyOz/K3tOUvf3/osqt5fc7nnCN+V3Y33fEiWRKjidj+7iJpoVGfS9Jbevfqludl1wDYvdWPNfyr5jEWM0yNSXzN8XiNdY4TOzewFWuBXVSd1gzG1grsBcf7NLCmASbbaFI7BtDt5yOZZrANtoAdpQIVkOT31Okit0334rW6rj82lIbt4nqdsqvCLTxEehnA13sWEeG0rrZyQ67A4G5N0OOjjT/LP+TyMXLf3bg4A8=</diagram></mxfile>" resource="https://app.diagrams.net/#Hthomasabishop%2Flogic-diagrams%2Fmaster%2Ftruth-trees%2Fdecomposition-rules%2Fnegated-conditional-decomposition-rule.svg"><defs/><g><rect x="0" y="0" width="720" height="200" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><rect x="280" y="40" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 50px; margin-left: 281px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><span>~(P </span><b style="color: rgb(32 , 33 , 34) ; font-family: sans-serif ; background-color: rgb(255 , 255 , 255)"><font style="font-size: 10px">⊃</font></b><span> Q)</span></div></div></div></foreignObject><text x="340" y="54" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">~(P ⊃ Q)</text></switch></g><rect x="100" y="40" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 50px; margin-left: 101px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1</div></div></div></foreignObject><text x="110" y="54" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">1</text></switch></g><rect x="100" y="90" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 100px; margin-left: 101px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">2</div></div></div></foreignObject><text x="110" y="104" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">2</text></switch></g><rect x="100" y="140" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 18px; height: 1px; padding-top: 150px; margin-left: 101px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">3</div></div></div></foreignObject><text x="110" y="154" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">3</text></switch></g><rect x="280" y="90" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 100px; margin-left: 281px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">P </div></div></div></foreignObject><text x="340" y="104" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">P </text></switch></g><rect x="280" y="140" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 118px; height: 1px; padding-top: 150px; margin-left: 281px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">~Q</div></div></div></foreignObject><text x="340" y="154" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">~Q</text></switch></g><rect x="570" y="40" width="70" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 50px; margin-left: 571px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">SM</div></div></div></foreignObject><text x="605" y="54" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">SM</text></switch></g><path d="M 605 110 L 605 130 L 605 120 L 605 133.63" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><path d="M 605 138.88 L 601.5 131.88 L 605 133.63 L 608.5 131.88 Z" fill="rgb(0, 0, 0)" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="all"/><rect x="570" y="90" width="70" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 100px; margin-left: 571px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;">1~<b style="color: rgb(32 , 33 , 34) ; font-family: sans-serif ; background-color: rgb(255 , 255 , 255)"><font style="font-size: 10px">⊃</font></b>D</div></div></div></foreignObject><text x="605" y="104" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">1~⊃D</text></switch></g><rect x="570" y="140" width="70" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility" style="overflow: visible; text-align: left;"><div xmlns="http://www.w3.org/1999/xhtml" style="display: flex; align-items: unsafe center; justify-content: unsafe center; width: 68px; height: 1px; padding-top: 150px; margin-left: 571px;"><div data-drawio-colors="color: rgb(0, 0, 0); " style="box-sizing: border-box; font-size: 0px; text-align: center;"><div style="display: inline-block; font-size: 12px; font-family: "Lucida Console"; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: all; white-space: normal; overflow-wrap: normal;"><span>1~</span><b style="color: rgb(32 , 33 , 34) ; font-family: sans-serif ; background-color: rgb(255 , 255 , 255)"><font style="font-size: 10px">⊃</font></b><span>D</span></div></div></div></foreignObject><text x="605" y="154" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">1~⊃D</text></switch></g><path d="M 426.21 60 L 440 40" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" pointer-events="none"/><path d="M 420 50 L 426.9 60" fill="none" stroke="rgb(0, 0, 0)" stroke-width="2" stroke-miterlimit="10" pointer-events="none"/></g><switch><g requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"/><a transform="translate(0,-5)" xlink:href="https://www.diagrams.net/doc/faq/svg-export-text-problems" target="_blank"><text text-anchor="middle" font-size="10px" x="50%" y="100%">Viewer does not support full SVG 1.1</text></a></switch></svg> |