---

<mxfile host="app.diagrams.net" modified="2023-10-27T12:00:00.000Z" agent="Mozilla/5.0" version="21.6.8" type="device">
  <diagram id="var2" name="Упражнение 2 - Вариант 2">
    <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;Упражнение 2. Вариант 2&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="600" height="30" as="geometry" />
        </mxCell>

        <!-- Часть 1 -->
        <mxCell id="h1" value="&lt;b&gt;Часть 1:&lt;/b&gt; (A∧B) ↔ (A∨C)&lt;br&gt;&lt;b&gt;и&lt;/b&gt;&lt;br&gt;A∨(B&amp;C)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" vertex="1" parent="1">
          <mxGeometry x="50" y="80" width="600" height="50" as="geometry" />
        </mxCell>
        
        <mxCell id="t1" value="&lt;table border=&quot;1&quot; cellpadding=&quot;6&quot; cellspacing=&quot;0&quot; style=&quot;border-collapse:collapse;text-align:center;font-size:14px;width:100%;&quot;&gt;&lt;tr style=&quot;background-color:#e6f2ff;&quot;&gt;&lt;th&gt;A&lt;/th&gt;&lt;th&gt;B&lt;/th&gt;&lt;th&gt;C&lt;/th&gt;&lt;th&gt;(A∧B)&lt;/th&gt;&lt;th&gt;(A∨C)&lt;/th&gt;&lt;th&gt;Результат 1:&lt;br&gt;(A∧B) ↔ (A∨C)&lt;/th&gt;&lt;th&gt;(B&amp;C)&lt;/th&gt;&lt;th&gt;Результат 2:&lt;br&gt;A∨(B&amp;C)&lt;/th&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=top;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="50" y="130" width="600" height="230" as="geometry" />
        </mxCell>
        
        <mxCell id="res1" value="&lt;b&gt;Вывод по части 1:&lt;/b&gt; Выражения НЕ тождественны, так как их значения не совпадают (например, при A=0, B=0, C=0)." style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" vertex="1" parent="1">
          <mxGeometry x="50" y="370" width="600" height="30" as="geometry" />
        </mxCell>

        <!-- Часть 2 -->
        <mxCell id="h2" value="&lt;b&gt;Часть 2:&lt;/b&gt; (¬A ∧ B) ↔ ¬C&lt;br&gt;&lt;b&gt;и&lt;/b&gt;&lt;br&gt;¬(A∨C)" style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" vertex="1" parent="1">
          <mxGeometry x="50" y="430" width="600" height="50" as="geometry" />
        </mxCell>
        
        <mxCell id="t2" value="&lt;table border=&quot;1&quot; cellpadding=&quot;6&quot; cellspacing=&quot;0&quot; style=&quot;border-collapse:collapse;text-align:center;font-size:14px;width:100%;&quot;&gt;&lt;tr style=&quot;background-color:#e6f2ff;&quot;&gt;&lt;th&gt;A&lt;/th&gt;&lt;th&gt;B&lt;/th&gt;&lt;th&gt;C&lt;/th&gt;&lt;th&gt;¬A&lt;/th&gt;&lt;th&gt;(¬A∧B)&lt;/th&gt;&lt;th&gt;¬C&lt;/th&gt;&lt;th&gt;Результат 1:&lt;br&gt;(¬A∧B) ↔ ¬C&lt;/th&gt;&lt;th&gt;(A∨C)&lt;/th&gt;&lt;th&gt;Результат 2:&lt;br&gt;¬(A∨C)&lt;/th&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;tr&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td&gt;0&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;1&lt;/b&gt;&lt;/td&gt;&lt;td&gt;1&lt;/td&gt;&lt;td style=&quot;background-color:#ffcccc;&quot;&gt;&lt;b&gt;0&lt;/b&gt;&lt;/td&gt;&lt;/tr&gt;&lt;/table&gt;" style="text;html=1;strokeColor=none;fillColor=none;align=center;verticalAlign=top;whiteSpace=wrap;rounded=0;" vertex="1" parent="1">
          <mxGeometry x="50" y="480" width="600" height="230" as="geometry" />
        </mxCell>

        <mxCell id="res2" value="&lt;b&gt;Вывод по части 2:&lt;/b&gt; Выражения НЕ тождественны, так как их значения не совпадают почти во всех строках." style="text;html=1;strokeColor=none;fillColor=none;align=left;verticalAlign=middle;whiteSpace=wrap;rounded=0;fontSize=14;" vertex="1" parent="1">
          <mxGeometry x="50" y="720" width="600" height="30" as="geometry" />
        </mxCell>

      </root>
    </mxGraphModel>
  </diagram>
</mxfile>