Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
July 01 2025 07:46:35   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 35715
Учимся удалять!... 32603
Примеры, синони... 23900
Просмотр готовы... 23167
Декартовы коорд... 23054
FAST (методика ... 21915
содержание - се... 21251
Просмотр готовы... 20028
Работа с инстру... 15572
Сейчас на сайте
Гостей: 2
На сайте нет зарегистрированных пользователей

Пользователей: 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 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

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

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

Пароль



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

Забыли пароль?
Запросите новый здесь.
Случайные статьи
Манчестерское коди...
3.1 Основные типы ...
Кавитация
Общая информация о...
13.1 ПЕРИФЕРИЙНЫЕ ...
12.3.2 Реализация ...
4.9 Технология ISDN
2.4.1 Кодирование ...
Глава 4. Основные ...
Теоретические осно...
2.4.6 Код Хемминга...
9.1.2.1 Выгрузка п...
1.3.2 Вторичные ...
7. Продукции типа...
4.7 ВЫДЕЛЕНИЕ ДИС...
Предисловие
Сильные и направле...
2.6.2.1 Образовани...
Перепроектирование...
5. Значение органи...
7.3.1. Концепции о...
10.1.3 Программы о...
Принцип 5. Уменьша...
СИСТЕМНЫЕ ОПЕРАЦИИ...
ГЛАВА 12. МНОГОПРО...
2.4 УПРАВЛЕНИЕ СИС...
2. Пересечения про...
Изображение связи
Вариант 2.
5.7 СОЗДАНИЕ ФАЙЛА
Патч-антенна
3.2.1. Компоненты ЛВС
3. Декомпозиция пр...
Ресурс бизнес-проц...
11.5 ВЫВОДЫ
Пралогическое мыш...
7.4.1. Организаци...
Определение атрибута
Правила размещения...
Звук
Мини-чат
Вам необходимо залогиниться.

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