Главная Случайная страница Контакты | Мы поможем в написании вашей работы! | ||
|
Найти формулы ПНФ и ССФ, выполнить унификацию атомов дизънктов.
Вариант | Формула |
"x(A(x)®ù B(y))®$y(B(y)®ù A(x)) | |
"x(ù A(x)®$x(ù C(x)))®"x((C(x)®A(x)) | |
"x(A(x)®$x(B(x)))®$y(ù A(x)Úù C(y)ÚC(y)&B(x)) | |
"x(A(x)®$x(B(y)))®$x(ù A(x)®ù B(y)) | |
"x(A(x)®B(y))&"y(A(x)®(B(y)®C(z))®$z(A(x)®C(z)) | |
"x(A(x)®$y(B(y)®C(z)))®"z(A(x)&B(y)®C(z)) | |
"x(A(x)®B(z))&"y(C(y)®A(x))®$z(C(y)®B(z)) | |
"x(A(x)®B(y))®"y((C(y)ÚA(x))®(C(y)Ú$y(B(y))) | |
"x(A(x)®B(y))&"y(A(x)®(B(y)®C(z)))®(A(x)®$z(C(z))) | |
"x(A(x)®B(y)&A(x)®"y(B(y)®C(z)))®(A(x)®$z(C(z))) | |
"x(A(x)®$z(B(y)®C(z)))®"y(B(y)®(A(x)®C(z))) | |
("x(A(x))®$x(B(x)))®"z((B(x)®C(z))®(A(x)®C(z))) | |
($x(ù A(x))®"x(ù B(x)))®(ù B(x)ÚA(x)) | |
("x(A(x)))®("x(B(x)))®$y(C(y)&A(x)®C(y)&B(x)) | |
"x(ù A(x)®$y(B(y)))®(ù B(y)®A(x)) | |
("x(B(x))®$x(A(x)))&$y((A(x)®C(y))®(ù C(y)&B(x))) | |
"x(ù A(x)®$y(B(y)))®(B(y)ÚA(x)) | |
"x(ù A(x)®$y(ù B(y)))®(B(y)®A(x)) | |
"x(A(x)®B(x))&$y(B(x)®C(y)&$z(C(y)®D(z))) | |
("x(A(x)®B(x))&"z(C(z)®A(x)))®$y(C(z)®B(y)) | |
("x(B(x)®"y(A(y)))&("y(B(y)®(A(x)®C(z))))®$z(C(z)) | |
"x(B(x))®$y(A(y)®B(x)) | |
"x(A(x)®B(x))®("y(C(y)®A(x))®$z(C(z)®B(x))) | |
"x(B(x)®A(y))&(B(x)®"y(A(y)®C(z)))®$z(C(z))) | |
$x(A(x)®B(z))®$y(C(y)ÚA(x)®"z(C(y)ÚB(z))) | |
("x(B(x))®$x(A(x)))&(A(y)®$yC(y))®(ù A(x)ÚC(y)) | |
("x(A(x))®$x(B(x)))®$y((A(x)ÚC(y))®(B(x)ÚC(y))) | |
$x(A(x)®"y(B(y)))&(ù A(x)®"y(B(y)))®B(y) | |
"x(A(x)®$y(B(y)))&(ù A(x)®B(x))®B(x) | |
"x(ù A(x))®(A(x)®$y(B(y))) | |
($x(B(x))®"x(A(x)))&(ù B(x)®A(x))®A(x) | |
("x(B(x))®$x(C(x)))®(A(y)&B(x)®A(y)&C(x)) | |
$x(A(x)®B(y))®"y"z((C(z)®A(x))®(C(z)®B(y))) | |
("x(A(x))®$x(C(x)))&"y(C(x)®B(y))®(A(x)®B(y)) | |
"x(A(x))®$y(B(y))&"y(C(y)®$xD(x))®(A(x)&C(y)) &D(y)) | |
"x(A(x))®(ù A(x)®$y(B(y))) | |
"x(B(x))®$y(A(y)®B(x)) | |
"x(B(x)®"y(A(y)))&"y(B(y)®(A(x)®C(z)))®$z(B(z) C(z)) | |
"x(B(x)®A(y))&(B(x)®"y(A(y)®C(z)))®$z(B(x)®C(z)) | |
"x(A(x)®B(x))®"y((C(y)®A(x))®(C(y)®B(x))) | |
("x(ù A(x)®$y(ù C(y)))®(C(x)®A(x)) | |
"x(A(x)®ù B(y))®$y(B(y)®ù A(x)) | |
$x(A(x)®B(z))®$y((C(y)ÚA(x))®"z(C(y)ÚB(z))) | |
"x(A(x)®B(y))&"z(C(z)®A(x))®$y(C(z)®B(y)) | |
"x(A(x)®B(x))&$y(B(x)®C(y))&$z(C(y)®D(z))) | |
"x(ù A(x)®$y(ù B(y)))®(B(x)®A(x)) | |
"x(ù A(x)®$x(B(x)))®(B(x)ÚA(x)) | |
("x(B(x)®$y(A(y))))&$y(A(x)®C(y))®ù C(y)&B(x) | |
("x(ù A(x)®$y(B(y))))®(ù B(x)®A(x)) | |
"x(A(x)®B(y))&"y(A(x)®(B(y)®C(z)))®$z(A(x)®C(z)) |
Литература
1. Вагин В.Н. Дедукция и обобщение в системах принятия решений.- М.: Наука, 1988г. – 384 с.
2. Войшвилло Е.К., Дектярев М.Г. Логика как часть теории познания и научной методологии. кн.1. Учебное пособие. –М.: Наука, 1994г. –312с.
3. Зегет В. Элементарная логика. - М.: Высшая школа, 1985г..- 256 с.
4. Кириллов В.И., Старченко А.А. Логика. - М.: Высшая школа, 1987г.– 271с.
5. Kузнецов О.П., Андельсон-Вельский Г.М. Дискретная математика. для инженера.- М.: Энергоатомиздат, 1988г.—480 с.
6. Лавров И.А., Максимова Л.Л. Задачи по теории множеств, матeмaтичecкoй логике и теории алгоритмов 240с.
7. ЛихтарниковЛ.М., Сукачева Т.Г. Математическая логика /курс лекций/ - СПб.: “Лань”, 1998г..-288с.
8. Першиков В.И., Савинков В.М. Толковый словарь по информатике – М.: Финансы и статистика, 1991г. –543с.
9. Пономарев В.Ф. Математические методы и модели в обработке информации и управлении. Методические разработки по разделу “Формальные системы”- Калининград: КГТУ, 1992г..
10. Роберт P. Столл. Множества. Логика. Аксиоматические теории.- М.: Просвещение, 1968. – 231 с.
Предметный указатель
Аксиомы исчисления высказываний, 45, 49
Алгебра высказываний, 7
Алгебра предикатов, 92
Дата публикования: 2015-02-22; Прочитано: 169 | Нарушение авторского права страницы | Мы поможем в написании вашей работы!