Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
February 10 2025 01:02:11   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 34749
Учимся удалять!... 32370
Примеры, синони... 23681
Просмотр готовы... 22969
Декартовы коорд... 22727
FAST (методика ... 21720
содержание - се... 21019
Просмотр готовы... 19770
Работа с инстру... 15216
Сейчас на сайте
Гостей: 1
На сайте нет зарегистрированных пользователей

Пользователей: 9,955
новичок: Logyattella
Друзья сайта
Ramblers Top100
Рейтинг@Mail.ru

Реклама
Выполняем курсовые и лабораторные по разным языкам программирования
Подробнее - курсовые и лабораторные на заказ по 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 . Стрелки

и
Страница 2 из 3 < 1 2 3 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.

Нет данных для оценки.
Гость
Имя

Пароль



Вы не зарегистрированны?
Нажмите здесь для регистрации.

Забыли пароль?
Запросите новый здесь.
Случайные статьи
2.2.2.2 Состояния ...
7.5 ВЫЗОВ ДРУГИХ П...
Теперь о картах и ...
Установка типа при...
Глава 4. Краткий ...
Как правильно уста...
2.2.1. Понимание ...
5.10 CМЕНА ВЛАДЕЛЬ...
9.2 ПОДКАЧКА ПО ЗА...
Установка антенны
3.4 ЧТЕНИЕ И ЗАПИС...
ГЛАВА 6. ИСПОЛЬЗО...
6. Размер процесса...
Анализ результатов...
Своя игра
До 400 долларов
3. Выделение в орг...
3.9 Технология Gig...
Имена сущностей
Метод доступа в се...
9.1.2 Выгрузка пр...
2.4.4 Линейные коды
Степень связи
Продукционные сис...
8.1 ПЛАНИРОВАНИЕ В...
Методология всеобщ...
Fortuna ClipOn Blu...
Единицы измерения
4.7 Защита от пере...
6.5.6 Освобождение...
2.6.1 Аналоговые с...
2.2.2 Электрически...
Протоколы
Сетевые карты
Рассуждения по ан...
В бой идут одни ст...
Глава 2. Cистема п...
Cetus GPS
2. Моделирование и...
Ключевые вопросы
Мини-чат
Вам необходимо залогиниться.

Нет присланных сообщений.
Copyright © 2009