thomasabishop/eolas
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
eolas/neuron/5ce25cd2-1b2b-459a-bb58-283daadf8753/static/conditional-decomposition-rule.svg
thomasabishop 0f5c8d251c Autosave: 2025-02-16 15:17:25
2025-02-16 15:17:25 +00:00

4 lines
No EOL
10 KiB
XML
Raw Blame History

This file contains invisible Unicode characters

This file contains invisible Unicode characters that are indistinguishable to humans but may be processed differently by a computer. If you think that this is intentional, you can safely ignore this warning. Use the Escape button to reveal them.

<?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="&lt;mxfile host=&quot;app.diagrams.net&quot; modified=&quot;2021-12-21T08:22:52.405Z&quot; agent=&quot;5.0 (X11; Linux x86_64) AppleWebKit/537.36 (KHTML, like Gecko) Chrome/96.0.4664.110 Safari/537.36&quot; etag=&quot;A6LwY0djnEAghfRAOZlo&quot; version=&quot;16.0.0&quot; type=&quot;github&quot;&gt;&lt;diagram id=&quot;u61iNYiIhslxNpTlsWNH&quot; name=&quot;Page-1&quot;&gt;7Zldb9owFIZ/TaT1giq2yQeXQGmnakhMqNruJpOYJGoSM8cpdBf77bOJQxKcAqUt/VivcN44x/bzntixMdAwWV0xvAjH1CexAU1/ZaALA0IAXEv8SOW+UGzkFkLAIl9VqoRp9Ico0VRqHvkka1TklMY8WjRFj6Yp8XhDw4zRZbPanMbNVhc4IJow9XCsqz8in4eF6kKn0r+SKAjLloHdK+4kuKysRpKF2KfLmoRGBhoySnlRSlZDEkt4JZfiucsH7m46xkjKD3ngOnEmuT+46XI0HruToYV6PzuO6twdjnM1YtVbfl8iYDRPfSKjmAYaLMOIk+kCe/LuUpgutJAnsbgCoojjKEhFOSZz0atBxhm9JUMaUyZEn8xxHkt9TlM+VU2Y+kjU4O4I42RVk9TIrghNCGf3ooq621VB7puXy8oyp/QhrNkFTSVilSbBJnJFUhQUzHaw0Bn1L34tw8y9SdPJKptdj70O3M81EGAXh499k+N4VkYwdzIBW1BcHYrVbYECngNKa7aB3n4qJPX78r0VVylNSTO7mqkok+gSJ1EsB/gt9yIfi1hDmmZURtuXZLt8I35jWtAZ1yG2MCw1RmLMo7vmZNLGVbUwoZHoXmVhr93CMkJGc+YR9VD93d+Ks/1+wK04HLOAcC3O2uTNoI/3HR4wy3z6/gi/DvZ9T/68tO/6LPh38rT15QW9P3y1AXDvzAral5sXmlihpYH+/gE4Q/utcbY1ziKfbZxIeukskz/iev2JM2vQt3/n8kNv4BWfQn05RwSzL0hGM6DojYlQVeyeybKMZUrQnblyQj6W4TTrZIRF802dGfZug7W9na340LI2UbfKZ1WnRCngta7LNlt7v+5Mtv5Ily0Ac7FqiTKChts3XFSGE6iLiM1WhDyraQ2IHyF7waunKwBauoL3DLYG8qQcna7G8YnbpNfl+PB0etrZ1NGwTsfvmWu5GXV0sM5J89XVwP73qxI4Zlm6+EjZ+PBbf9LkLNvffzTyvIAefX6C4CvPj66+fGukHrFtLs7iylNMuB/vTvveyE7ZPoem7fZsywIO7ALUa+T60fvm0+6TXX2f/Gl0aYmyEhxppX1eyw6nh4C1M0OOdlpcVmf5RfXqHxE0+gc=&lt;/diagram&gt;&lt;/mxfile&gt;" resource="https://app.diagrams.net/#Hthomasabishop%2Flogic-diagrams%2Fmaster%2Ftruth-trees%2Fdecomposition-rules%2Fconditional-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"/><path d="M 290 120 L 340 60" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="none"/><path d="M 340 60 L 390 120" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="none"/><rect x="220" y="120" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: 130px; margin-left: 221px;"><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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">~P</div></div></div></foreignObject><text x="280" y="134" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">~P</text></switch></g><rect x="360" y="120" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: 130px; margin-left: 361px;"><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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">Q</div></div></div></foreignObject><text x="420" y="134" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">Q</text></switch></g><rect x="280" y="40" width="120" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">P <b style="color: rgb(32 , 33 , 34) ; font-family: sans-serif ; background-color: rgb(255 , 255 , 255)"><font style="font-size: 10px">⊃</font></b> Q</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="none"/><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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; 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="120" width="20" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: 130px; 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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;">2</div></div></div></foreignObject><text x="110" y="134" fill="rgb(0, 0, 0)" font-family="Lucida Console" font-size="12px" text-anchor="middle">2</text></switch></g><rect x="570" y="40" width="70" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; 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><rect x="570" y="120" width="70" height="20" fill="rgb(255, 255, 255)" stroke="rgb(0, 0, 0)" pointer-events="none"/><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: 130px; 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: &quot;Lucida Console&quot;; color: rgb(0, 0, 0); line-height: 1.2; pointer-events: none; white-space: normal; overflow-wrap: normal;"><b style="color: rgb(32 , 33 , 34) ; font-family: sans-serif ; background-color: rgb(255 , 255 , 255)"><font style="font-size: 10px">1⊃</font></b>D</div></div></div></foreignObject><text x="605" y="134" 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>
Reference in a new issue View git blame Copy permalink