Claw.ru | Рефераты по информатике, программированию | Исчисление высказываний Исчисление высказываний | Категория реферата: Рефераты по информатике, программированию | Теги реферата: виды рефератов, банк курсовых работ бесплатно | Добавил(а) на сайт: Червячок. Предыдущая страница реферата | 12  13  14  15  16  17  18  19  20  21  22 | Следующая страница реферата	T	T	T
F	T	T	T

Теперь сосредоточимся на упрощении выскзываний, используя свойства эквивалентности. Под упрощением мы будем понимать такое преобразование высказывания, которое принимает форму, удобную для нас в каком-то смысле. Например, содержит меньше переменных, операций Ú или Ù.

Рассмотрим несколько примеров.

(pÚØq)ÙrÙ(ØpÚq)

(pÚØq)Ù(ØpÚq)Ùr                    I.1

(ØqÚp)Ù(ØpÚq)Ùr                    I.2

(qÞp)Ù(pÞq)Ùr                                   V.1

(pÛq)Ùr                                                VI.1

Таким образом

(pÚØq)ÙrÙ(ØpÚq) º (pÛq)Ùr

Другой пример, упростить

pÚ(ØqÞp)ÚØq

pÚ(Ø(ØqÚp)ÚØq                                  V.1

pÚ(qÚp)ÚØq                             VII.1

pÚ(qÚp)ÚØq                             I.2

(pÚp)Ú(qÚØq)                           II.2

pÚ(qÚØq)                                              XI.1

pÚT                                            IX.1

T                                                            XI.2

Рекомендуем скачать другие рефераты по теме: реферати, скачать дипломную работу.





Предыдущая страница реферата | 12  13  14  15  16  17  18  19  20  21  22 | Следующая страница реферата