Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по Delphi Turbo Pascal, Assembler, C, C++, C#, Visual Basic, Java, GPSS, Prolog
«Логик-теоретик»
(
), а ? 2 =(?
)
?.
3. Перед всем выражением для ? 1 (? 2 ) стоит знак отрицания, а перед ? 2 (? 1 ) его нет. Например, ? 1 =
(?
?), а ? 2 =??.
4. Аналогичное различие, но оно касается не всего выражения для ? i ( i =1,2), а некоторого его подвыражения.
5. Скобки в ? 1 расставлены не так, как в ? 2 . Например, ? 1 =?
(?
?), а ? 2 =(?
?)
?.
6. Записи для ? 1 и ? 2 отличаются порядком следования подвыражений. Например, ? 1 =(??)
?, а ? 2 =?
(??).
Для того чтобы иметь возможность ликвидировать подобные различия, используются 12 преобразований формул исчисления высказываний. Первые семь преобразований носят тождественный характер, т.е. не меняют истинного значения преобразуемых формул. Последние пять верны только при условии, что левая часть их является тождественно истинной ( T -выражением).
В преобразованиях использованы большие латинские буквы, которые могут соответствовать любым подвыражениям формул ? 1 и ? 2 . Стрелки
