[artisoft]

Всем привет! праверьте пожайлуста.
Упростить высказывание, используя равносильные преобразования.
(AB->C) v AнеС ≡ не(АВ) v C v AнеС ≡ неА v неВ v С v AнеС ≡ неА v неВ v С v A ≡ неВ v С v 1 ≡ 1

@темы: Дискретная математика

Comments

[Robot]

конец (оформление) мне не нравится, там ошибка (или я не пойму),но ответ такой

неА v неВ v С v AнеС=(неА v неВ v С v A) ⋀ (неА v неВ v С v неС)=1⋀ 1=1

[artisoft]

ну где неАvА = 1
а потом любой предикат v 1 =1 т.е. неB v 1 = 1 и С v 1 =1

[artisoft]

а кстати из этого источника делал
Закон контрапозиции (правило перевертывания):
(A Û B) = (BÛ A).
┐(А→В) = А&┐В
┐А&(АÚВ)= ┐А&В
АÚ┐А&В=АÚВ

[artisoft]

а кстати из этого источника делал
Закон контрапозиции (правило перевертывания):
(A Û B) = (BÛ A).
┐(А→В) = А&┐В
┐А&(АÚВ)= ┐А&В
АÚ┐А&В=АÚВ

[Robot]

artisoft дизъюнкция высказывания и его отрицания равна 1
Хотите поспорить - идите в другое место
В математике доказывают
составьте таблицу истинности и посмотрите
==
импликацию вы раскрыли правильно, закон де Моргана использовали правильно
Ошибка в конце в, в ы что-то неправильно сделали вместо дистрибутивности
X V (Y⋀ Z)=(X VY)⋀ (X V Z)
я так понимаю, что АВ у вас А⋀ В

символы ваши у меня не отображаются

[Robot]

неА v неВ v С v AнеС=(неА v неВ v С) v( A ⋀ неС)= (неА v неВ v С v A) ⋀ (неА v неВ v С v неС)

[artisoft]

я с вами не спорю))) одинаковый ответ я доволен))) да где AB это А⋀ В
неА v неВ v С v AнеС ≡ неА v неВ v С v A
Закон контрапозиции (правило перевертывания):
АÚ┐А&В=АÚВ

[Robot]

artisoft
Я правильно вас поняла, что вы рассуждали так:
неА v неВ v С v (A⋀ неС)=не(А⋀ не С)⋁не В ⋁(А⋀ не С)
Жирным выделено высказывание и его отрицание. Их дизъюнкция равна 1
====
неА v неВ v С v AнеС ≡ неА v неВ v С v A это неверно

[Robot]

не поняла я вашего правила перевертывания.
У меня оно не отображается

[artisoft]

понятно
а так я из сайта www.metodichka.net/Informatika.php?itemid=62&ca... нашел такой закон)))
Всеравно спасибо

[artisoft]

у вас не отабражаются ? вот закон
(A v B) = (B v A).
не(А->В) = А ⋀ неВ
неА ⋀ (А v В)= неА ⋀ В
А v неА⋀В=А v В

[Robot]

там записано что-то вроде (без скобок)
A V⌐A⋀ B
по правилам действия
A V ((⌐A)⋀ B) =(A V ⌐A) ⋀ (A V B)=1 ⋀ (AVB) =A V B

А поняла теперь, что вы мне выделяли все время
вот это вы сгруппировали

неА v неВ v (С v AнеС) и потом тем свойством воспользовались

мой совет - это свойство требует док-ва, его от вас потребуют
Делайте лучше традиционно

[artisoft]

хорошо, спасибо

[Гость]

Упростить используя равносильности (xVӯ->(x⋀y+ӯ ⋀z
“+” – сложение по модулю.
Если сможете напишите решение.
Заранее благодарю!!!

[Гость]

Упростить используя равносильности (xVӯ->(x⋀y+ӯ ⋀z
“+” – сложение по модулю.
Если сможете напишите решение.
Заранее благодарю!!!

[Robot]

Гость, это чужой топик.
И здесь Вашу задачу никто не увидит и она не проиндексируется
Надо зарегистрироваться, вступить в сообщество (левый столбец меню) и создать свой топик (левый столбец меню - Написать в сообщество)
Инструкции
Обращение к Гостям

И здесь не выкладывают решения
Правила