---

<mxfile host="app.diagrams.net" modified="2023-10-27T12:00:00.000Z" agent="Mozilla/5.0" version="21.6.8" type="device">
  <diagram id="formulas_v1" name="Основные формулы">
    <mxGraphModel dx="1422" dy="794" grid="1" gridSize="10" guides="1" tooltips="1" connect="1" arrows="1" fold="1" page="1" pageScale="1" pageWidth="1169" pageHeight="827" math="0" shadow="0">
      <root>
        <mxCell id="0" />
        <mxCell id="1" parent="0" />
        <mxCell id="title" value="&lt;b&gt;&lt;font style=&quot;font-size: 18px;&quot;&gt;Основные законы и формулы&lt;/font&gt;&lt;/b&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=middle;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="50" y="20" width="500" height="30" as="geometry" />
        </mxCell>
        <mxCell id="eq" value="&lt;b&gt;1. Определение эквивалентности:&lt;/b&gt;&lt;br&gt;X ↔ Y = (X &amp; Y) ∨ (¬X &amp; ¬Y)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="50" y="70" width="500" height="40" as="geometry" />
        </mxCell>
        <mxCell id="dm" value="&lt;b&gt;2. Законы де Моргана:&lt;/b&gt;&lt;br&gt;¬(A &amp; B) = ¬A ∨ ¬B&lt;br&gt;¬(A ∨ B) = ¬A &amp; ¬B" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="50" y="120" width="500" height="60" as="geometry" />
        </mxCell>
        <mxCell id="dn" value="&lt;b&gt;3. Закон двойного отрицания:&lt;/b&gt;&lt;br&gt;¬¬A = A" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="50" y="190" width="500" height="40" as="geometry" />
        </mxCell>
        <mxCell id="abs" value="&lt;b&gt;4. Закон поглощения:&lt;/b&gt;&lt;br&gt;A &amp; (A ∨ B) = A&lt;br&gt;A ∨ (A &amp; B) = A" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="50" y="240" width="500" height="60" as="geometry" />
        </mxCell>
        <mxCell id="dist" value="&lt;b&gt;5. Закон дистрибутивности:&lt;/b&gt;&lt;br&gt;(A &amp; B) ∨ (A &amp; C) = A &amp; (B ∨ C)&lt;br&gt;(A ∨ B) &amp; (A ∨ C) = A ∨ (B &amp; C)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=16;" vertex="1" parent="1">
          <mxGeometry x="50" y="310" width="500" height="60" as="geometry" />
        </mxCell>
      </root>
    </mxGraphModel>
  </diagram>
</mxfile>