Логическая формула
ЛОГИЧЕСКАЯ ФОРМУЛАС помощью логических переменных и символов логических операций любое высказывание можно формализовать, то есть заменить логической формулой
Определение логической формулы :
- Всякая логическая переменная и символы “истина” (“1”) и “ложь” (“0”) — формулы.
- Если А и В — формулы, то , (А • В), (А v В), (А ® B), ( А « В ) — формулы.
- Никаких других формул в алгебре логики нет.
Некоторые формулы принимают значение “истина” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно истинными формулами или тавтологиями
Некоторые формулы принимают значение “ложно” при любых значениях истинности входящих в них переменных . Такие формулы называются тождественно ложными формулами или противоречиями.
Если две формулы при одинаковых наборах значений входящих в них переменных, принимают одинаковые значения, то они называются равносильными
Категории:
- Астрономии
- Банковскому делу
- ОБЖ
- Биологии
- Бухучету и аудиту
- Военному делу
- Географии
- Праву
- Гражданскому праву
- Иностранным языкам
- Истории
- Коммуникации и связи
- Информатике
- Культурологии
- Литературе
- Маркетингу
- Математике
- Медицине
- Международным отношениям
- Менеджменту
- Педагогике
- Политологии
- Психологии
- Радиоэлектронике
- Религии и мифологии
- Сельскому хозяйству
- Социологии
- Строительству
- Технике
- Транспорту
- Туризму
- Физике
- Физкультуре
- Философии
- Химии
- Экологии
- Экономике
- Кулинарии
Подобное:
- Логические элементы
Логические элементы ЛАБОРАТОРНАЯ РАБОТА №1ИССЛЕДОВАНИЕ ЛОГИЧЕСКИХ ЭЛЕМЕНТОВ1. Цель работыЦелью работы является:- теоретичес
- Логический элемент И
ЛОГИЧЕСКИЙ ЭЛЕМЕНТ ИСхема И реализует конъюнкцию двух или более логических значений Условное обозначение на структурных схемах схемы
- Логический элемент ИЛИ
ЛОГИЧЕСКИЙ ЭЛЕМЕНТ ИЛИСхема ИЛИ реализует дизъюнкцию двух или более логических значений Когда хотя бы на одном входе схемы ИЛИ будет ед
- Логический элемент И-НЕ и ИЛИ-НЕ
ЛОГИЧЕСКИЙ ЭЛЕМЕНТ И-НЕ И ИЛИ-НЕСхема И-НЕ состоит из элемента И и инвертора и осуществляет отрицание результата схемы И Связь между вых
- Логический элемент компьютера
ЛОГИЧЕСКИЙ ЭЛЕМЕНТ КОМПЬЮТЕРАЛогический элемент компьютера — это часть электронной логической схемы, которая реализует элементарную
- Логический элемент НЕ
ЛОГИЧЕСКИЙ ЭЛЕМЕНТ НЕСхема НЕ (инвертор) реализует операцию отрицания. Связь между входом x этой схемы и выходом z можно записать соотнош
- Локальные вычислительные сети
Локальные вычеслительные сети. Операционная система NetWare фирмы Novell Локальные вычеслительные сети. Опера