Студопедия — Логические функции и их представление.
Студопедия Главная Случайная страница Обратная связь

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

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






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

 

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

 

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

 

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

 

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

 

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

 







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



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

ТЕОРЕТИЧЕСКАЯ МЕХАНИКА Статика является частью теоретической механики, изучающей условия, при ко­торых тело находится под действием заданной системы сил...

Теория усилителей. Схема Основная масса современных аналоговых и аналого-цифровых электронных устройств выполняется на специализированных микросхемах...

Логические цифровые микросхемы Более сложные элементы цифровой схемотехники (триггеры, мультиплексоры, декодеры и т.д.) не имеют...

Вопрос 1. Коллективные средства защиты: вентиляция, освещение, защита от шума и вибрации Коллективные средства защиты: вентиляция, освещение, защита от шума и вибрации К коллективным средствам защиты относятся: вентиляция, отопление, освещение, защита от шума и вибрации...

Задержки и неисправности пистолета Макарова 1.Что может произойти при стрельбе из пистолета, если загрязнятся пазы на рамке...

Вопрос. Отличие деятельности человека от поведения животных главные отличия деятельности человека от активности животных сводятся к следующему: 1...

Конституционно-правовые нормы, их особенности и виды Характеристика отрасли права немыслима без уяснения особенностей составляющих ее норм...

Толкование Конституции Российской Федерации: виды, способы, юридическое значение Толкование права – это специальный вид юридической деятельности по раскрытию смыслового содержания правовых норм, необходимый в процессе как законотворчества, так и реализации права...

Значення творчості Г.Сковороди для розвитку української культури Важливий внесок в історію всієї духовної культури українського народу та її барокової літературно-філософської традиції зробив, зокрема, Григорій Савич Сковорода (1722—1794 pp...

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