eolas/neuron/32f6269d-615a-4d39-8593-13ef9a9b8e03/static/negated-biconditional-decomposition-rule.drawio.svg

4 lines
13 KiB
XML
Raw Normal View History

2024-10-19 11:00:03 +01:00
<?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" style="background-color: rgb(255, 255, 255);" 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-22T16:17:15.197Z&quot; agent=&quot;5.0 (Windows)&quot; etag=&quot;YFI3T4D0EcCGtuC3JrKl&quot; version=&quot;16.0.3&quot; type=&quot;github&quot;&gt;&lt;diagram id=&quot;u61iNYiIhslxNpTlsWNH&quot; name=&quot;Page-1&quot;&gt;7ZnLcpswFIafhpl2kQySMJdl4lw6mXrqDL1kqxoZmALyyCK2s8izVxSBESK2cyOh7cYDP3CQvv/4oAMGGqfrS4YX0YQGJDGgGawNdGZA6HhA/BbCphRs2ymFkMVBKYGt4Md3RIqmVPM4IEvlRE5pwuOFKs5olpEZVzTMGF2pp81pot51gUOiCf4MJ7r6Iw54VKoudLb6JxKHUXVnYHvlkRRXJ8uZLCMc0FVDQucGGjNKebmVrsckKdhVXMrrLh44Wg+MkYwfcsFV6kzz4PSbxdFk4k7HI+TdHDlycLc4yeWM5Wj5pkLAaJ4FpIhiGuh0FcWc+As8K46uhOdCi3iaiD0gNnESh5nYTshcjOp0yRn9RcY0oUyIAZnjPCn0Oc24L29h6jORk7sljJN1Q5IzuyQ0JZxtxCnyqCWDbNTd1dYyp/IhatgFTSlimSZhHXlLUmxImI8AC7z9YEkWnBQpKvYymhEVpEq94HWB0zgpJvg5n8UBFrHGNFvSItqBPEmgJLtOs8Fr1IGr0hhJMI9v1b9IF0J5hymNxUhqsxBS3QJ2y4UlzdmMyKuaKd0O5LYCte3kmIWEa4H+OFpP++kmwwP+Pf+syfu8OdRka1+2vLbJUDN5+rwa+TI+H14cof0AwUYmgO7y+ErVEY40ptfDYmqZKtP6SfJ2TG2N6f0HkammcQ4N1zNOxITM64/Dwoygitl9a8oAaJTBsJACay/SXok6lkb0mWvQtybaVV/7LQWOhtSfDIupDfZmqdNrlrp6dQV1ZT0bNtyuhO2VbuXuroV0KJAung6jfkWAf1YRzZ2QLPt91UlXf/JojB7RbJSdefVOA+4Hu9O4d9J02MfQtF3PHo2AAy2APMXBtjWHdiDt61654XD1huO/0ZUldTf5NCvt40Z2OB4Co50Z8nJOX1z78+9H7ld698W/yUN85Tr4SDf6fmCtZbsN6rW17GSKdKYDay3b7XqvrWUnU32FjoaFtL1C70LaK1H9/cffs5rsgvtCq0mxu/1gUlbh7VcndP4b&lt;/diagram&gt;&lt;/mxfile&gt;"><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="stroke"/><path d="M 340 60 L 390 120" fill="none" stroke="rgb(0, 0, 0)" stroke-miterlimit="10" pointer-events="stroke"/><rect x="220" y="120" 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 style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><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 style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><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="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="160" 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 style="overflow: visible; text-align: left;" pointer-events="none" width="100%" height="100%" requiredFeatures="http://www.w3.org/TR/SVG11/feature#Extensibility"><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: 170px; margin-left: 361px;"><div style="box-sizing: border-box; font-size: 0px; text-align: center;" data-drawio-colors="color: rgb(0, 0, 0); "><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="420" y="174" 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="all"/><g transform="translate(-0.5 -0.5)"><switch><foreignObject style="overflow: visible