Как найти нормальную конъюнктивную форму

[theanton3399]

вот такая получилась

[Ian]

Правильно, а специалисты пишут кратко 0,0,0,1. Так как в каком порядке стоят значения аргументов А,В, все и так знают, перечисляют только значения функции. И действительно теперь выходит просто: какие функции ни в каком значении не больше этой? только A&B=(0,0,0,1) и тривиальная (0,0,0,0). Консеквента: A&B
Какие функции ни в каком значении не больше этой? 8 штук, от самой (0,0,0,1) до тривиальной (1,1,1,1), в частности
A=(0,0,1,1)
B=(0,1,0,1)
(1,0,0,1)-тут трудно подобрать простой пример
AVB=(0,1,1,1)
AV (\B)=(1,0,1,1)
(\A)VB=(1,1,0,1) итого 7 штук, кроме тривиальной, импликант

 

[theanton3399]

я не понимаю как надо делать консеквента это верность данной формулы и надо записать саму формулу? а с импликантой как? не понимаю еще

[Ian]

Как делать рационально консеквенты: Сначала отвечаем на вопрос, какие таблицы истинности могут быть у консеквент, чтобы все числа в этой таблице были соответственно не больше 0,0,0,1. Ясно, что только две таблицы 0,0,0,0 (но она тривиальна) и 0,0,0,1. И все в принципе решено, по любой таблице истинности можно придумать формулу, хотя бы в виде ДНФ, которая здесь будет из одного члена A&B
В пред.моем посте опечатка, во 2м случае, для импликант, перепутано "не больше" и "не меньше" Но что именно, я не помню , тк создатели форума сделали максимум, чтоб у людей чушь получалась: когда пишешь, не можешь видеть тему; а написав , теперь невозможно поправить А когда поправляешь новым постом, опять забываешь, что поправляешь. И столько уже развелось тут тем с навязчивым многостраничным бредом, а ведь умные были когда-то люди(
 

[theanton3399]

консеквенты это нулевые конституэнты из совершенной кнф
сов кнф (А или Б) и (А или неБ) и (неА или неБ)
консеквенты (А или Б) и (А или неБ), (А или неБ) и (неА или неБ), (А или Б)и (неА или неБ), (А или Б), (А или неБ), (неА или неБ)
импликанты это будет это единичные конституэнты из совершенной днф
сов днф (А и Б)
импликанты (А и Б)
так?

[Ian]

сов кнф (А или Б) и (А или неБ) и (неА или неБ)
-поправочка (А или Б) и (А или неБ) и (неА или Б)
Отсюда дальше исправляем три из списка
консеквенты (А или Б) и (А или неБ), (А или неБ) и (неА илиБ), (А или Б)и (неА или Б), (А или Б), (А или неБ), (неА или Б)

 

[theanton3399]

я указал не правильно формулу, правильно так, какие тут будут тривиальные случаи?
 

[theanton3399]

[Ian]

Для новой формулы ответ такой же, потому что таблица истинности у нее такая же
 

[theanton3399]

по новой формуле нетривиальные консеквенты
(А или Б или Ц) и (А или Б или неЦ) и (А или неБ или Ц) и (неА или Б или Ц) и (неА или Б или неЦ) и (А или неБ или неЦ)
(А или Б или Ц) и (А или неБ или Ц), (А или Б или Ц) и (неА или Б или Ц), (А или Б или Ц) и (неА или Б или неЦ), (А или Б или Ц)и (А или неБ или неЦ)
(А или Б или неЦ) и (А или неБ или Ц), (А или Б или неЦ) и (неА или Б или Ц), (А или Б или неЦ) и (неА или Б или неЦ), (А или Б или неЦ) и (А или неБ или неЦ)
(неА или Б или Ц) и (неА или Б или неЦ), (неА или Б или Ц) и (А или неБ или неЦ)
нетривиальные импликанты
(А и Б и неЦ) или (А и Б и Ц), (А и Б и неЦ), (А и Б и Ц)
правильно будет?