Вопросы с тегом: интеллектуальные информационные системы

                                                    Вопросы

                                                                                    shany57

                                                                        Новичок

 Дана логическая формула (А - (B v -С)) - D.  Сколько интерпретаций данной формулы существует:   8Бесконечно много432162

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логические выражения и интерпретации

                                                                     12

                                                                                                                                                            Посмотреть ответы

                                                                                    jamaal64

                                                                        Новичок

 Какие из приведенных формул являются тавтологиями:  1. A>A  2. (B->(A->B))  3. (A->B)v-(A->B)  4. (A&B->-(-AV-B))   3,4Все формулы являются тавтологиями31,2,42,3

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика высказываний

                                                                     39

                                                                                                                                                            Посмотреть ответы

                                                                                    lavon76

                                                                        Новичок

 Являются ли две приведенные формулы исчисления высказываний равносильными?  A&B&CV -B VB&-(AV-C)) и -BVC   ДаНет

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика высказываний

                                                                     17

                                                                                                                                                            Посмотреть ответы

                                                                                    rsimonis

                                                                        Новичок

 Формула  Vy (A(a) & C(a) & (S(a, y) v A(y)))  представлена в Сколемовской стандартной форме (ССФ) и преобразована в множество дизъюнктов  S=[ A(a), C(a), S(a, y) V A(y)]  Сколько всего дизъюнктов содержит S?   Один дизъюнктЧетыре дизъюнктаТри ди...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика высказываний и предикатов

                                                                     42

                                                                                                                                                            Посмотреть ответы

                                                                                    jerrod15

                                                                        Новичок

 Формула  Vy (A(a) & C(a) & (S(a, y) v A(y)))  представлена в Сколемовской стандартной форме (ССФ).  Затем было построено множество дизъюнктов S.   Выберите правильный вариант множества S   S=[ A(a) & C(a), S(a, y) v A(y) }S=[A(a) & C(a)...

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика и формальные системы

                                                                     25

                                                                                                                                                            Посмотреть ответы

                                                                                    dledner

                                                                        Новичок

 Являются ли две приведенные формулы исчисления высказываний равносильными?  (A&BVA&-B&CVA&-B&-CVA&-C)&(BVC) и BVC   НетДа

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика высказываний

                                                                     31

                                                                                                                                                            Посмотреть ответы

                                                                                    orie36

                                                                        Новичок

 Дана логическая формула: F=((B&CVA)->-B)V-A& B&-C  Для этой формулы построена таблица истинности  Интерпретацией для формулы F является:   один из столбцов (А, В или С) таблицы.последний столбец таблицы (F);вся таблица;одна из строк табли...

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логические выражения и таблицы истинности

                                                                     19

                                                                                                                                                            Посмотреть ответы

                                                                                    ashly73

                                                                        Новичок

 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:  1. (AVB) и - (-A&-B)  2. (-A&-B) и -(AVB)  3. А-В и -(Av-B)  4. (А-В) и ((-A-B)-+B)  5. A VB и (-В-» -A)   3 и 52 и 31 и 5Все пары формул равносильны1, 4, и...

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Логика высказываний

                                                                     45

                                                                                                                                                            Посмотреть ответы

                                                                                    mitchel.feeney

                                                                        Новичок

 Примечание: В математической логике, в отличие от схемотехники, принято использовать обозначения И (истина) и Л (ложь) для значений атомарных высказываний. При работе с высказываниями, представленными в виде формул, допустимо использовать обозначения 1...

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логические операции

                                                                     48

                                                                                                                                                            Посмотреть ответы

                                                                                    aurelia61

                                                                        Новичок

 Формулу ∃x ∀y (A(x) & C(x) & (S(x, y) ∨ ¬A(y)))  необходимо привести к Сколемовской стандартной форме.  Какой вариант преобразования будет правильным:   ∀у (A(x) & C(x) & (S(x, b) ∨ ¬A(b))) ∀y (A(a) & C(a) & (S(a, y) ∨ ¬A(y))) ∃x...

                                                                        Другие предметы
                                                                        Колледж
                                                                                                                                                Логика предикатов

                                                                     29

                                                                                                                                                            Посмотреть ответы

                Назад

                                                                        1
                                                                                2
                                                                                3
                                                                                4
                                                                                5
                                                                                6

                            ...

                                                                        34
                                                                                35

                Вперед

Портал edu4cash: Что это и как работает?.

Как быстро получить ответ от ИИ.

Как задонатить в Roblox в России в 2024 году.

Обновления на edu4cash – новые награды, улучшенная модерация и эксклюзивные возможности для VIP!.

Вопросы