Все о моделировании в Компас-3D LT
   Главная Статьи Файлы Форум Ссылки Категории новостей
March 28 2024 15:54:50   
Навигация
Главная
Статьи
Файлы
FAQ
Форум
Ссылки
Категории новостей
Обратная связь
Фото галерея
Поиск
Разное
Карта Сайта
Популярные статьи
Что необходимо ... 65535
4.12.1 Професси... 32587
Учимся удалять!... 31846
Примеры, синони... 23248
Просмотр готовы... 22439
Декартовы коорд... 21971
FAST (методика ... 21283
содержание - се... 20519
Просмотр готовы... 19049
Работа с инстру... 14538
Сейчас на сайте
Гостей: 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 >
Комментарии
Нет комментариев.
Добавить комментарий
Пожалуйста залогиньтесь для добавления комментария.
Рейтинги
Рейтинг доступен только для пользователей.

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

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

Пароль



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

Забыли пароль?
Запросите новый здесь.
Случайные статьи
3.1 ЗАГОЛОВКИ БУФЕРА
Соглашения, принят...
Глава 6. Подключен...
Глава 7. Основные ...
Другие виды погреш...
Датчики
NMEA Monitor
Выводы 2
Амплитудная модуляция
По законам джунглей
9.1.2.2 Выгрузка с...
Второй параграф
Атрибуты в тексте
Глава 1. Выбираем ...
СИСТЕМНЫЕ ОПЕРАЦИИ
3. Классификация о...
Глава 28. GPSMAP 276С
Программное обеспе...
4.1.2 Обращение к ...
СОДЕРЖАНИЕ
2.2.2 Электрически...
2.2.4 Измерение ур...
СИСТЕМНЫЕ ОПЕРАЦИИ...
Обязательные атрибуты
Встроенная карта
Реинжиниринг проце...
12.3 СЕМАФОРЫ
Определение связи
Анализ программног...
6.6 ПРИОСТАНОВКА В...
Точность и аккурат...
Настройка шрифта т...
Горизонтальное ска...
Глава 14. INTERPHA...
Установка антенны
Размер и форма блоков
6.5 УПРАВЛЕНИЕ АД...
Вертикальное скани...
Механизм создания ...
ГЛАВА 8. ДИСПЕТЧЕР...
Мини-чат
Вам необходимо залогиниться.

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