рефераты конспекты курсовые дипломные лекции шпоры

Реферат Курсовая Конспект

Комментарий

Комментарий - раздел Философия, Логика Далее Выполним Преобразования Выражений. Выделим Шрифтом Фрагменты, ...

далее

Выполним преобразования выражений. Выделим шрифтом фрагменты, к которым применяются законы алгебры логики.

1.А ∨ В & (С ∨ ¬А ∨ А & С) & ¬В = А∨ В & ¬В (С ∨ ¬А ∨ ∨ А & С) = А + 0 = А. Формула выполнимая.

2.А & В & (С ∨ ¬А ∨ А & С) ∨ ¬В = А & В & (С ∨ ¬А) ∨ ∨ ¬В = А & (С ∨ ¬А) ∨ ¬В = А & С ∨ ¬В. Формула выполнимая.

3.А & В ∨ (С ∨ ¬А ∨ А & С) & ¬В = А & В ∨ (С ∨ ¬А) & ¬В = А & В ∨ ¬В & С ∨ ¬А & ¬В. Формула выполнимая.

4.А & В & (С ∨ ¬А ∨ А & С) & ¬В =А & В & ¬В & (С ∨ ∨ ¬А ∨ А & С) = А & 0 & (С ∨ ¬А ∨ А & С) = 0. Формула тождественно ложная.


– Конец работы –

Эта тема принадлежит разделу:

Логика

Логика... Логика греч logikt lt logos довод доказательство разумное основание... Мышление изучают и психология и педагогика и многие другие науки По содержанию человеческое мышление бесконечно...

Если Вам нужно дополнительный материал на эту тему, или Вы не нашли то, что искали, рекомендуем воспользоваться поиском по нашей базе работ: Комментарий

Что будем делать с полученным материалом:

Если этот материал оказался полезным ля Вас, Вы можете сохранить его на свою страничку в социальных сетях:

Все темы данного раздела:

Дополнительная информация
Логика Логика появилась примерно в IV веке до н.э. в Древней Греции, её создателем считается Аристотель. Аристотелевская, или традиционная, логика для анализа правильного мыш

Алгебра логики
Алгебра логики — раздел математической логики, изучающий логические высказывания и методы установления их истинности или ложности с помощью алгебраических методов. Основоп

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

Дополнительная информация
Правила построения логических выражений Логическая функция — это функция логических переменных X1, X2, X3, ..., XN:

Дополнительная информация
Логические функции Логическая функция — это функция логических переменных X1, X2, X3, ..., XN:

Построение таблиц истинности
Убедиться в равносильности двух выражений можно, построив для них таблицы истинности. Количество строк в таблице будет равно числу наборов 2N, где N — количество логических

Комментарий
далее Первой выполняется операция отрицания. Отрицанием высказывания (X > = 7) является (X < 7). Получим выражение (X < 7) & (X > 4). Для того чтобы выражение было истинным, оба нер

Основные законы алгебры логики
Способ определения истинности сложного выражения путём построения таблиц истинности становится громоздким при возрастании количества логических переменных, так как число наборов резко увеличивается

Хотите получать на электронную почту самые свежие новости?
Education Insider Sample
Подпишитесь на Нашу рассылку
Наша политика приватности обеспечивает 100% безопасность и анонимность Ваших E-Mail
Реклама
Соответствующий теме материал
  • Похожее
  • Популярное
  • Облако тегов
  • Здесь
  • Временно
  • Пусто
Теги