Дискретная математика таблицы истинности

 

Пример. С помощью таблиц истинности проверить, являются ли эквивалентными формулы j и y.

 

Составим таблицы истинности для заданных формул.

 

Типовые задачи Вычисление  проводится по формуле Ньютона – Лейбница, если известна какая-либо первообразная подынтегральной функции.

p

q

r

pÛq

(pÛq)Úr

И

И

И

И

И

И

И

Л

И

И

И

Л

И

Л

И

И

Л

Л

Л

Л

Л

И

И

Л

И

Л

И

Л

Л

Л

Л

Л

И

И

И

Л

Л

Л

И

И

 

 

p

q

r

pÞq

qÞp

(pÞq)Ú(qÞp)

(pÞq)Ú(qÞp)Úr

И

И

И

И

И

И

И

И

И

Л

И

И

И

И

И

Л

И

Л

И

И

И

И

Л

Л

Л

И

И

И

Л

И

И

И

Л

И

И

Л

И

Л

И

Л

И

И

Л

Л

И

И

И

И

И

Л

Л

Л

И

И

И

И

 

 Из составленных таблиц видно, что данные формулы не равносильны.

 

 

Основные равносильности.

 

 Для любых формул А, В и С справедливы следующие равносильности:

 

A & B º B & A; A & A º A; A & (B & C) º (A & B) & C;

 

A Ú B º B Ú A; A Ú A º A; A Ú (B Ú C) º (A Ú B) Ú C;

 

A Ú (B & C) º (A Ú B) & (A Ú C); A & (B Ú C) º (A & B) Ú (A & C);

 

A & (A Ú B) º A; A Ú (A & B) º A; ØØA º A; Ø(A & B) º ØA Ú ØB;

 

A º (A & B) Ú (A & ØB); A º (A Ú B) & (A Ú ØB);

 

Тригонометрическая форма комплексного числа Пример

 

 Из геометрических соображений видно, что . Тогда комплексное число можно представить в виде:

 Такая форма записи называется Вычисление длины дуги кривой Примеры решения и оформления задач контрольной работы

 При этом величина r называется модулем комплексного числа, а угол наклона j - аргументом комплексного числа.

.

 Из геометрических соображений видно:

 


Классификация операционных систем Виртуальная память Реализация многозадачности
Системы безопасности Операционная система Linux Введение в компьютерные сети Принципы построения вычислительных систем Базовые технологии локальной сетиСредства анализа Процедуры и функции Pascal Язык запросов SQL Программирование на СИ Брандмауэры Протоколы TCP/IP Файловые системы Драйверы устройств