Логическое отрицание и умножение

Автор работы: Пользователь скрыл имя, 12 Апреля 2011 в 10:14, курсовая работа

Краткое описание

ДВОИЧНАЯ СИСТЕМА СЧИСЛЕНИЯ, АЛГЕБРА ЛОГИКИ, ЛОГИЧЕСКАЯ (БУЛЕВА) ПЕРЕМЕННАЯ, ЛОГИЧЕСКОЕ ОТРИЦАНИЕ, КОНЪЮНКЦИЯ (ЛОГИЧЕСКОЕ УМНОЖЕНИЕ), БЛОК-СХЕМА.

Содержание работы

Введение………………………………………………………………………...5
1 Спецификация задачи ……………………………………………….………6
2 Математическая постановка задачи ………………………………………..7
3 Описание методов вычислительной математики,
используемых при решении….……………………………………………..8
4 Алгоритм решения задачи (блок-схема).…....……………………………..14
5.Текст программы на алгоритмическом языке. Описание программы……………………………………………….….………………….19
6.Результаты тестирования программы…………………………………...…22
Заключение …………………………………………………………………....23
Список использованной литературы…………………………………………24

Содержимое работы - 1 файл

Курсовая Логическое отрицание и умножение.doc

— 165.50 Кб (Скачать файл)

Реферат 
 

       Пояснительная записка содержит 24 страницы, 1 блок-схему,  
1 программу на языке Паскаль, 1 приложение (дискета с программой).
 

    ДВОИЧНАЯ  СИСТЕМА СЧИСЛЕНИЯ, алгебра логики, Логическая (булева) переменная, логическое отрицание, Конъюнкция (логическое умножение), БЛОК-СХЕМА. 

       В курсовой работе разработана программа логического отрицания и логического умножения двоичных чисел. Для этого были даны определения и понятия основы алгебры логики. Рассмотрены свойства элементарных функций алгебры логики. Затем был составлен алгоритм решения задачи (блок-схема).

       В процессе работы была разработана программа  на языке Паскаль, выполняющая поставленные задачи. Также был предусмотрен контроль вводимых чисел.

       В целом данная программа может  применяться как основная, самостоятельная программа, а так же как вспомогательная программа к любой другой. 

 

Содержание

Введение………………………………………………………………………...5

1 Спецификация  задачи ……………………………………………….………6

2 Математическая  постановка задачи ………………………………………..7

3 Описание методов  вычислительной математики,

  используемых  при решении….……………………………………………..8

4 Алгоритм решения  задачи (блок-схема).…....……………………………..14

5.Текст программы  на алгоритмическом языке. Описание программы……………………………………………….….………………….19

6.Результаты  тестирования программы…………………………………...…22

Заключение …………………………………………………………………....23

Список использованной литературы…………………………………………24

 

Введение 
 

       Целью данной курсовой работы является закрепление приобретенных на лабораторных занятиях навыков алгоритмизации задач, разработки программных продуктов для ЭВМ, выполнение инженерных расчетов, проведение комплексного эксперимента с применением современных информационных технологий и оформление отчетных документов с использованием текстового и графического редакторов.

       В курсовой работе разработана программа логического отрицания и логического умножения двоичных чисел. Для этого были даны определения и понятия основы алгебры логики. Рассмотрены свойства элементарных функций алгебры логики. Затем был составлен алгоритм решения задачи (блок-схема).

       В процессе работы была разработана программа  на языке Паскаль, выполняющая поставленные задачи. Также был предусмотрен контроль вводимых чисел.

       Задачей является составление программы  логического отрицания и логического умножения двоичных чисел на языке Паскаль.

       Объектом  исследования являются два двоичных числа. 
 
 
 

 

    1 Спецификация задачи

    Входными  данными являются два числа в  двоичной системе счисления. Количество разрядов двоичных чисел в составляет 50 разрядов (согласно условию поставленной задачи). Программа должна контролировать количество разрядов вводимых чисел, при вводе чисел или символов недвоичной системы счисления программа должна выдать ошибку. После этого необходимо внести изменения в вводимые данные.

    Входными  переменными программы являются два двоичных числа с числом разрядов 50. Числа а и b вводятся как строка символов, а затем преобразовываются в массивы а1, b1 типа Boolean для выполнения логических операций над ними. Нулю соответствует логическое false, а единице логическое true.

    Выходными переменными программы являются aOtr,bOtr типа массив Boolean– результат логического отрицания, ab типа массив Boolean – результат логического умножения. 

 

    2.Математическая  постановка задачи 
 

   В данной курсовой работе постановка задачи сводится к следующему: необходимо составить программу логического отрицания и логического умножения двоичных чисел. Результат выполнения программы – два инвертированных числа (логическое отрицание чисел) и результат логического умножения чисел.

 

    3 Описание методов вычислительной математики, используемых при решении

 

     Основные  понятия алгебры логики 
     

    Для формального описания цифрового  автомата широко применяют аппарат  алгебры логики.

      Основное  понятие алгебры логики – высказывание. Высказывание некоторое предложение, о котором можно утверждать, что оно истинно или ложно.

      Любое высказывание можно обозначить символом x и считать, что  
x = 1, если высказывание истинно, а x = 0 – если высказывание ложно.

      Логическая (булева) переменная – такая величина x, которая может принимать только два значения: x = {0,1}.

      Высказывание  абсолютно истинно, если соответствующая ей логическая величина принимает значение x = 1 при любых условиях.

      Высказывание  абсолютно ложно, если соответствующая ей логическая величина принимает значение x = 0 при любых условиях.

      Логическая  функция (функция  алгебры логики) – функция f(x1,x2,…,xn), принимающая значение, равное нулю или единице на наборе логических переменных x1,x2,…,xn.

      Логические  функции от одной переменной запишем  в таблицу 1: 

                                                            Таблица 1

x f1(x) f2(x) f3(x) f4(x)
0 1 0 0 1
1 1 0 1 0
 

      В соответствии с введенными определениями  функция f1(x) является абсолютно истинной (константа единицы), а функция f2(x) – абсолютно ложной функцией (константа нуля).

      Функция f3(x), повторяющая значения логической переменной, - тождественная функция [f3(x) º  x], а функция f4(x), принимающая значения, обратные значениям x, - логическое отрицание, или функция НЕ [f4(x) = ù x =`x].

      Логические  функции от двух переменных запишем  в таблицу 2.

Функция x1, x2 Примечание
00 01 10 11
f0 0 0 0 0 f0 абсолютная ложь
f1 0 0 0 1  x1 Ù x2 – (конъюнкция)
f2 0 0 1 0  x1 Ù`x2  – (запрет x2)
f3 0 0 1 1  x1`x2Ú x1 x2 = x1 (переменная x1)
f4 0 1 0 0 `x1 x (запрет x1)
f5 0 1 0 1 `x1 x2 Ú x1x2 = x2 (переменная x2)
f6 0 1 1 0  x1 Å x2 (сложение по модулю 2)
f7 0 1 1 1  x1Ú x2 (дизъюнкция)
f8 1 0 0 0  x1 ¯ x2 (функция Пирса)
f9 1 0 0 1  x1 º x2 (равнозначность)
f10 1 0 1 0 `x1`x2 Ú x1`x2 =`x2 (переменная`x2
f11 1 0 1 1   x2 ® x1 (импликация)
f12 1 1 0 0 `x1`x2 Ú`x1x2 =`x (переменная`x1)
f13 1 1 0 1   x1 ® x2 (импликация)
f14 1 1 1 0   x1 / x2 (функция Шеффера)
f15 1 1 1 1  f1 – абсолютная истина
 

      Дизъюнкция (логическое сложение) – функция f7(x1,x2), которая истинна тогда, когда истинны или x1, или x2, или обе переменные.

      Дизъюнкцию  часто называют также функцией ИЛИ  и условно обозначают так: f7(x1,x2) = x1 x2 = x1 Ú  x2.

      От  дизъюнкции следует отличать функцию  f6(x1,x2), которая называется функцией сложения по модулю 2 (функцией исключительное ИЛИ) и является истинной, когда истинны или x1, или x2, в отдельности. Условное обозначение этой функции f6(x1,x2) = x1 Å x2.

      Конъюнкция (логическое умножение) – функция f1(x1,x2), которая истинна только тогда, когда и x1, и x2 истинны. Конъюнкцию часто называют также функцией И; условно обозначают так: f1(x1,x2)= x1 & x2 = x1Ù x2.

      Штрих Шеффера – функция  f14(x1,x2), которая ложна только тогда, когда x1 и x2 истинны. Условное обозначение функции Шеффера: f14(x1,x2)= x1 / x2.

      Функция Пирса (Вебба) – функция f8(x1,x2), которая истинна только тогда, когда  x1 и x2 ложны. Условное обозначение этой функции: f8(x1,x2) = x1 ¯ x2 = x1 ™ x2.

      Импликация – функция f13(x1,x2), которая ложна тогда и только тогда, когда x1 истинно и x2 ложно. Условное обозначение: f13(x1,x2)= x1 ® x2. 

Информация о работе Логическое отрицание и умножение