Студопедия Главная Случайная страница Обратная связь

Разделы: Автомобили Астрономия Биология География Дом и сад Другие языки Другое Информатика История Культура Литература Логика Математика Медицина Металлургия Механика Образование Охрана труда Педагогика Политика Право Психология Религия Риторика Социология Спорт Строительство Технология Туризм Физика Философия Финансы Химия Черчение Экология Экономика Электроника

Логические функции и их представление.





Логическая операция, языковая конструкция Арность Определение Обозна-чение Диаграмма Эйлера-Венна Таблица истинности (значение операции)
Инверсия (отрицание), НЕ Унарная Отрицание - новое высказывание, которое является истинным, если высказывание А ложно, и ложным, если высказывание А истинно , ,
   
   

 

Конъюнкция (логическое умножение, пересечение), И Бинарные Конъюнкция - новое высказывание, которое считается истинным, если оба высказывания А и В истинны, и ложным, если хотя бы одно из них ложно , , , ,
     
     
     
     

 

Дизъюнкция (логическое сложение, объединение), ИЛИ Дизъюнкция - новое высказывание, которое считается истинным, если хотя бы одно из высказываний А или В истинно и ложным, если они оба ложны , , ,
     
     
     
     

 

Исключающее или (сложение по модулю два, строгая дизъюнкция), ИЛИ Строгая дизъюнкция - новое высказывание, которое считается истинным только тогда, когда только одно из высказываний истинно, а ложным тогда, оба высказывания истинны или оба ложны , , ,  
     
     
     
     

 

Импликация (следование), ЕСЛИ …, ТО… Импликация - новое высказывание, которое считается ложным, если А истинно, а В ложно, и истинным во всех остальных случаях. А называется посылкой (условием), В – заключение (следствие) ,
     
     
     
     

 

Эквиваленция (эквивалентность), …ТОГДА И ТОЛЬКО ТОГДА, КОГДА … Эквиваленция - новое высказывание, которое считается истинным, если оба высказывания А и В либо одновременно ложны, либо одновременно истинны, и ложным во всех остальных случаях , , ,
     
     
     
     

 







Дата добавления: 2015-09-04; просмотров: 396. Нарушение авторских прав; Мы поможем в написании вашей работы!




Аальтернативная стоимость. Кривая производственных возможностей В экономике Буридании есть 100 ед. труда с производительностью 4 м ткани или 2 кг мяса...


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


Расчетные и графические задания Равновесный объем - это объем, определяемый равенством спроса и предложения...


Кардиналистский и ординалистский подходы Кардиналистский (количественный подход) к анализу полезности основан на представлении о возможности измерения различных благ в условных единицах полезности...

Случайной величины Плотностью распределения вероятностей непрерывной случайной величины Х называют функцию f(x) – первую производную от функции распределения F(x): Понятие плотность распределения вероятностей случайной величины Х для дискретной величины неприменима...

Схема рефлекторной дуги условного слюноотделительного рефлекса При неоднократном сочетании действия предупреждающего сигнала и безусловного пищевого раздражителя формируются...

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

Тема 2: Анатомо-топографическое строение полостей зубов верхней и нижней челюстей. Полость зуба — это сложная система разветвлений, имеющая разнообразную конфигурацию...

Виды и жанры театрализованных представлений   Проживание бронируется и оплачивается слушателями самостоятельно...

Что происходит при встрече с близнецовым пламенем   Если встреча с родственной душой может произойти достаточно спокойно – то встреча с близнецовым пламенем всегда подобна вспышке...

Studopedia.info - Студопедия - 2014-2026 год . (0.012 сек.) русская версия | украинская версия