По теме
Две формулы $F_1 и F_2$ называются равносильными, если они имеют одинаковое значение “и” или “л” при одинаковых наборах пропозициональных переменных, включаемых в $F_1 и F_2, т.е . F_1 = F_2$ . Если две формулы равносильны, то они эквивалентны, т.е. $(F_i\leftrightarrow F_i)$. Если формула $F$ имеет вхождением подформулу $F_i$, для которой существует эквивалентная подформула $F_j, т.е. F_i \leftrightarrow F_j$, то возможна подстановка всюду в формулу $F$ вместо формулы $F_i$ подформулу $F_j$ без нарушения истинности формулы $F$.
Используя законы логики, методом эквивалентных преобразований упростить формулы сложных логических высказываний.
Пример 1: Дано $F=(F_1\rightarrow F_2) \rightarrow ((F_2\rightarrow F_3) \rightarrow (F_1∨F_2 \rightarrow F_3))$.
Выполнить преобразования для упрощения алгебраического выражения.
Решение.
1) Удалить всюду логическую связку $“\rightarrow ”$ (см. эквивалентные формулы ):
$F = \left \rceil \right. (\left \rceil \right. \!\! F_ 1\vee F_ 2)\vee (\left \rceil \right. \! ... Смотреть решение »