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

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

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

Отправил 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

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

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

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

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

  • Tacwolf chaturbate threesome videos with lexi and jordin Alexi and lexi lapetina African albino breasts pussy pics Erection rub in formulas for penis Leukocyte test strip results Fat people falling down stairs Naked middle aged woman Espiando a mis suegros cuando cojen casero Amateur romantic sex...
  • Exotic escorts erotic escorts southbend indiana Tanya cyntheria playing with cum Free german wives girlfriends sex videos Dick content golf micjigan Free teen panties links What are sex beads Treatment to quit smoking Indian teen wet pussy Average size of male dick Cleft chin women naked Husbands...
  • Homemade teen tubes free Gay spas los angeles Japanese whore giving blowjob to big dicked customer Inspirational sex and the city quotes Embed creaming japanese teens Naked mardi gras men Fat sissy boy fucked by raw bbc Bare bottom over the knee spanking story Casssidy the hustler vs cassidy the...

Счетчики