Заглавная страница Избранные статьи Случайная статья Познавательные статьи Новые добавления Обратная связь FAQ Написать работу КАТЕГОРИИ:  Археология Биология Генетика География Информатика История Логика Маркетинг Математика Менеджмент Механика Педагогика Религия Социология Технологии Физика Философия Финансы Химия ЭкологияТОП 10 на сайте Приготовление дезинфицирующих растворов различной концентрацииТехника нижней прямой подачи мяча. Франко-прусская война (причины и последствия) Организация работы процедурного кабинета Смысловое и механическое запоминание, их место и роль в усвоении знаний Коммуникативные барьеры и пути их преодоления Обработка изделий медицинского назначения многократного применения Образцы текста публицистического стиля Четыре типа изменения баланса Задачи с ответами для Всероссийской олимпиады по праву 
Мы поможем в написании ваших работ! ЗНАЕТЕ ЛИ ВЫ?
Влияние общества на человека
Приготовление дезинфицирующих растворов различной концентрации Практические работы по географии для 6 класса Организация работы процедурного кабинета Изменения в неживой природе осенью Уборка процедурного кабинета Сольфеджио. Все правила по сольфеджио Балочные системы. Определение реакций опор и моментов защемления |
Логическая формула. Эквивалентные формулы. Math Processing Error]x. Math Processing Error]y. Math Processing Error]x&y. Math Processing Error]x&y¯. Math Processing Error]x¯. Math Processing Error]y¯. Math Processing Error]x¯Содержание книги
Поиск на нашем сайте Логическая формула любая переменная, а так же любая из констант “0” (“ложь”) и “1” (“истина”) Любая комбинация логических формул, составленная с помощью логических операций. Эквивалентные формулы такие формулы, которые зависят от одного и того же набора переменных, и при одинаковых значениях этих переменных, формулы так же имеют одинаковые значения. Обозначать будем знаком равенства. Все перечисленные законы элементарно доказываются составлением таблиц истинности. Например, первый закон де Моргана: [Math Processing Error]x [Math Processing Error]y [Math Processing Error]x&y [Math Processing Error]x&y¯ [Math Processing Error]x¯ [Math Processing Error]y¯ [Math Processing Error]x¯∨y¯ 3 и 6 столбец одинаковы, следовательно, соответствующие формулы эквивалентны. Тавтология -логическая формула, которая всегда истинна.Например, тавтологией является формула, выражающая закон исключения третьего.
|
||
|
|
Последнее изменение этой страницы: 2024-06-17; просмотров: 49; Нарушение авторского права страницы; Мы поможем в написании вашей работы! infopedia.su Все материалы представленные на сайте исключительно с целью ознакомления читателями и не преследуют коммерческих целей или нарушение авторских прав. Обратная связь - 216.73.217.21 (0.007 с.) |
