Калькулятор логических функций

Версия: 
0.9
Калькулятор логических функций
СКАЧАТЬ ПРОГРАММУРазмер
LogicCalc.exe (12817)526 кб

Программа предназначена для получения таблиц истинности логических функций с числом переменных от одной до пяти. Логической (булевой) функцией n переменных y = f(x1, x2, …, xn) называется такая функция, у которой все переменные и сама функция могут принимать только два значения: 0 и 1.

Переменные, которые могут принимать только два значения 0 и 1 называются логическими переменными (или просто переменными). Заметим, что логическая переменная х может подразумевать под числом 0 некоторое высказывание, которое ложно, и под числом 1 высказывание, которое истинно.

Из определения логической функции следует, что функция n переменных – это отображение Bn в B, которое можно задать непосредственно таблицей, называемой таблицей истинности данной функции.

Основные функции логики - это функции двух переменных z = f(x,y).

Число этих функций равно 24 = 16. Перенумеруем и расположим их в естественном порядке.

Рассмотрим более подробно эти функции. Две из них f0 = 0 и f15 = 1 являются константами. Функции f3, f5, f10 и f12 являются по существу функциями одной переменной.

Наиболее важные функции двух переменных имеют специальные названия и обозначения.

1) f1 - конъюнкция (функция И)
Заметим, что конъюнкция – это фактически обычное умножение (нулей и единиц). Эту функцию обозначают x&y;

2) f7 - дизъюнкция (функция или). Обозначается V.

3) f13 - импликация (следование). Обозначается ->
Это очень важная функция, особенно в логике. Ее можно рассматривать следующим образом: если х = 0 (т. е. х “ложно”), то из этого факта можно вывести и “ложь”, и “истину” (и это будет правильно), если у = 1 (т. е. у “истинно”), то истина выводится и из “лжи” и из “истины”, и это тоже правильно. Только вывод “из истины ложь” является неверным. Заметим, что любая теорема всегда фактически содержит эту логическую функцию;

4) f6 - сложение по модулю 2. Обозначается знаком “+” или знаком “+” в кружке.

5) f9 - эквивалентность или подобие. Эта f9 = 1 тогда и только тогда, когда х = у. Обозначается х ~ у.

6) f14 - штрих Шеффера. Иногда эту функцию называют “не и” (так как она равна отрицанию конъюнкции). Обозначается x|y.

7) f8 - стрелка Пирса (иногда эту функцию называют штрих Лукасевича).

Три оставшиеся функции, (f2 , f4 и f11) особого обозначения не имеют.

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

Отправил Tarastow Втр, 10/16/2018 - 01:40

Генеральный директор ТОО «Камал Ойл» Абай Камалов о своей работе.
ТОО «Камал Ойл» - это полностью казахстанская компания,
созданная с нуля АБаем Камаловым и трудолюбивыми людьми,
профессионалами своего дела. Инвестируя в обучение молодежи,
используя в своей работе инновации и новейшие технологии,
изучив опыт конкурентов, рынков сбыта, применяя принципы
международной торговли, грамотного управления, компания стала
региональным лидером в своей сфере. Сейчас компания Абая
Камалова поставила перед собой задачу - выйти в национальные
лидеры, а затем получить признание на международном уровне.

Отправил пахан Втр, 10/09/2018 - 11:52

эта шняга

Демонстрация возможностей

Поддержка сайта

Последние комментарии

  • интернет казино Вулкан интернет казино Вулкан казино Вулкан игровые автоматы казино Вулкан игровые автоматы игровое казино Вулкан vulka78798 казино Вулкан онлайн казино Вулкан игры интернет казино Вулкан казино Вулкан игры казино Вулкан игровые автоматы
  • проститутки нижнего новгорода купить наркотики через тор детское порно видео онлайн проститутки иркутска детское порно вк купить наркотики через тор зоофилы видео скачать детское порно зоо порно смотреть онлайн зоо порно бесплатно проститутки уфы
  • Интересные веб ресурсы: http://gektorstroi.ru/forum/index.php?PAGE_NAME=profile_view&UID=44374 http://autorolla.ru/forum/?PAGE_NAME=profile_view&UID=645 http://www.your-people.ru/forum/user/1449/ http://ww.8marta.com/forum/index.php?PAGE_NAME=profile_view&UID=299640 https://avrora24.ru/...

Счетчики