Question

Прошу ,помогите простроить логическую схему выражения ¬(A ∨ B ∨ ¬C) ∨ ¬(¬(A ∧ ¬B) ∨ ¬C)

Answer 1

Ответ:

Вот так, но делал на скорую руку

Answer 2

Конечно, давайте разберемся с построением логической схемы для выражения ¬(A ∨ B ∨ ¬C) ∨ ¬(¬(A ∧ ¬B) ∨ ¬C).

Для начала, давайте рассмотрим каждую часть выражения:

1. Выражение A ∨ B ∨ ¬C 2. Выражение ¬(A ∧ ¬B) 3. Выражение ¬(¬(A ∧ ¬B) ∨ ¬C)

Теперь создадим логическую схему для каждой из этих частей:

Часть 1: A ∨ B ∨ ¬C

        +--- A ---+
        |          |
  +--- OR ---+    NOT
  |          |      |
  +--- OR ---+--- C ---+
      |                |
      +--- B ---+

Часть 2: ¬(A ∧ ¬B)

         +--- A ---+
         |          |
  +--- AND ---+    NOT
  |           |      |
  +---- NOT ---+--- B ---+

Часть 3: ¬(¬(A ∧ ¬B) ∨ ¬C)

           +------------------- NOT -------------------+
           |                                            |
  +--- OR ---+                                    +--- NOT
  |           |                                    |
  +---- NOT ---+--- +--- AND ---+                   +--- C ---+
          |        |           |                             |
          +--- AND --- +--- NOT ---                       |
               |      |           |                       |
               +---- NOT --- +--- OR ---------------------+
                        |      |                   |
                        +---- NOT --- +--- C ---+
                                     |
                                     +--- OR

Итоговая схема: ¬(A ∨ B ∨ ¬C) ∨ ¬(¬(A ∧ ¬B) ∨ ¬C)

                           +------------------------ OR -------------------------+
                           |                                                      |
        +------------------+                                                      |
        |                                                                          |
        |                +--- A ---+                                               |
        |                |          |                                  +--- NOT     |
        |          +--- OR ---+    NOT                                |             |
        |          |          |      |                                |       +--- C ---+
        |          +--- OR ---+--- B ---+                            |       |       |
        |              |                |                            |       +--- OR --+
  +---- NOT ---+         +----------------- NOT -------------------+               |
  |           |                                          |                           |
  +--- OR ---+------------------------------------------+                           |
      |                                                                              |
      +--- NOT                                                                        |
          |                                                                           |
          +------------------- OR --------------------------------------------------+

Таким образом, полученная схема представляет собой логическую структуру для выражения ¬(A ∨ B ∨ ¬C) ∨ ¬(¬(A ∧ ¬B) ∨ ¬C).