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

Версия: 
0.9
Калькулятор логических функций
СКАЧАТЬ ПРОГРАММУРазмер
LogicCalc.exe (12473)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) особого обозначения не имеют.

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

Отправил Elmerelero Сб, 06/02/2018 - 15:43

В http://bit.ly/2IUuXRt вам доступно сразу несколько способов получения дохода.
Доход от ваших личных действий:
- от просмотра баннеров с помощью расширения
- от просмотра видео
- от выполнения платных заданий
- от майнинга криптовалют
Доход от действий вашей партнерской структуры:
- от доходов вашей партнерской структуры за просмотр баннеров (с 10 уровней)
- от доходов ваших личных рефералов за просмотр видео (с первого уровня)
- от доходов вашей партнерской структуры за майнинг криптовалют (с 10 уровней)
- от пополнения рекламного баланса вашими личными рефералами (с первого уровня)

Отправил Olgakak Ср, 01/17/2018 - 06:07

Может ли знание английского полностью изменить вашу жизнь?
подумайте об этом…
Что вы можете, зная английский?
Вы выглядите уверенным и успешным!
Конечно, налаживаете новые контакты!
Получаете истинное удовольствие от просмотра любимейших и не очень инстранных фильмов
Делаете деньги :) Заводите новых партнеров, привлекаете новых инвесторов из разных стран и развиваете свой бизнес со всех сторон!
Я уже купила и не разу не пожалела об этом, хочу посоветовать и вам этот замечтальный курс!
Ознакомиться с курсом
Опробывать курс

Отправил Frankblemn Чт, 01/04/2018 - 13:17

Всем привет, смотрел както видео непомерно интерестное Замена экрана на iPhone сообразно замене екрана на афоне, вернее не екрана, а стекла. Подскажите, будто довольно трудолюбивый екран после такое замены? Трескать у вас эксперимент такой услуги? Рано причинность изза всем следовать ответы. Так якобы собеседник себе менял беспричинно стекло для айфоне и значительно дешевле получилось у него, чем заменить полностью екран зараз и тачайди работал для айфоне у него исправно.

Отправил Александр Сб, 07/29/2017 - 15:40

Многие спрашивают о исходном коде, кто-то его даже уже видел. А можно и мне посмотреть?

Отправил Гость Чт, 03/30/2017 - 17:19

Можно ли посмотреть на код программы?

Отправил StepzenCig Пт, 01/13/2017 - 07:01

cialis pills side effects positive 1
http://pharmshop-online.com - generic cialis cialis for daily use prices website
generic cialis - buy cialis online administrators
new ed treatments

Отправил Владислав Чт, 01/12/2017 - 12:25

Можно ли исходный код посмотреть просто вишу что-то подобное и не могу найти несколько ошибок.

Отправил Гость Втр, 12/20/2016 - 13:57

Здравствуйте! А есть возможность посмотреть код программы???

Отправил Гость Пнд, 11/21/2016 - 22:08

Здравствуйте! можно ли посмотреть код программы?

Отправил Чертов Подонок Пт, 09/30/2016 - 02:45

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

Отправил Гость Втр, 04/12/2016 - 21:28

А можно ли посмотреть код?

Отправил Гость Сб, 03/19/2016 - 00:04

А нет ли сервиса для обратной операции? есть таблица истинности готовая, нужно составить к ней логическую функцию

Отправил mary.kay Сб, 05/16/2015 - 17:38

можно код посмотреть ????

Отправил Гость Втр, 05/12/2015 - 08:10

А можно код посмотреть? Тоже пишу, только немного по-другому, хотелось бы ваш код посмотреть, а то я где то накосячил и не могу ошибку определить...

Отправил Гость Втр, 05/12/2015 - 08:43

ага.... посмотрел код и ах***ел... я вообще себе по-другаму представлял)

Отправил Владимир Чт, 11/14/2013 - 11:16

А не перепутаны ли в программе Стрелка Пирса со штрихом Шеффера?

Отправил Гость Вс, 05/15/2016 - 12:28

Где можно код посмотреть пожалуйста покажите

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

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

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

  • 90m lesbian pantyhose pb Classic Interracial Sarah Young Takes a Big Black Cock. Hot Asian With Perky Nipples Masturabting. Sexy Blonde, Anal Big Black Cock Breaking My Ass And Taking A Shower. Porn photos of blondes Attractive russian and canadian singles Huge Cum After Days. She saw some teen...
  • [b]Продам iphone 8 (идеальная реплика) в отличном состоянии. [/b] Телефон новый, технических нареканий нет, работает хорошо. [img]http://www.picshare.ru/uploads/180624/E9V10k2k3t.jpg[/img] [b]Полный коплект: коробка, наушники, зарядка.[/b] Продаю срочно, поэтому отдам с большой скидкой. [b]Всего...
  • кредит онлайн взять кредит в Украине ccloan деньги в долг gloriafin деньги в долг moneyboom деньги в долг soscredit деньги в долг dinero деньги в долг e-cash деньги в долг

Счетчики