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

                                                    Вопросы

                                                                                    cooper.renner

                                                                        Новичок

 Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ)  1. Vx (C(x) & -O(x) ->3y (P(y) & S(x, y )))  2. 3x Vy (A(x) & C(x) & (S(x, y) v A(y)))  3. Vx (L(x) v A(x) V-O(x))  4. Vx (A(x)&am...

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

                                                                     28

                                                                                                                                                            Ответить

                                                                                    demetris91

                                                                        Новичок

 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными:  1. (A∨B) и ¬ (¬A&¬B)  2. (¬A&¬B) и ¬(A∨B)  3. A⟶B и ¬(A∨¬B)  4. (A⟶B) и ((¬A⟶B)⟶B)  5. А ∨B и (¬B⟶ ¬A)   1, 4, и 5 Все пары формул равносильны 2 и 3 3 и 5 1...

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

                                                                     47

                                                                                                                                                            Ответить

                                                                                    mcglynn.willow

                                                                        Новичок

                                                                    Является ли формула F = A / B / (A / C) тождественно истинной?

                                                                        Физика
                                                                        11 класс
                                                                                                                                                Алгебраические преобразования и тождественные равенства
                                                                                                                                                                                                                            Новый

                                                                     14

                                                                                                                                                            Ответить

                                                                                    jnader

                                                                        Новичок

 Даны формулы ...  Какие из этих формул представлены в конъюнктивной нормальной форме?   1, 3 и 6. все, кроме №3; все, кроме №5; все формулы;

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

                                                                     14

                                                                                                                                                            Ответить

                                                                                    quitzon.mabelle

                                                                        Новичок

 Какие пары формул исчисления высказываний, приведенные ниже, не являются равносильными?А→В и ¬(А&¬В)А и (¬В →¬ (А→В))(¬Аv¬B) и ¬ (AvB)(А→В) и ((¬А→В) →В)(А&В) и ¬(¬Av¬B)

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

                                                                     14

                                                                                                                                                            Ответить

                                                                                    angeline.mohr

                                                                        Новичок

 Какие из приведенных формул являются противоречиями:   противоречивы 1, 2, 3 Все формулы противоречивы противоречивы 1 и 4 противоречивы 3 и 4 противоречивы 2 и 5

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

                                                                     34

                                                                                                                                                            Ответить

                                                                                    rsimonis

                                                                        Новичок

 Какие из приведенных четырёх формул логики предикатов представлены в пренексной нормальной форме (ПНФ) В ПНФ представлены формулы 2 и 3Все формулы представлены в ПНФВсе формулы, кроме первой, представлены в ПНФНи одна из формул не представлена в ПНФ  

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

                                                                     34

                                                                                                                                                            Ответить

                                                                                    conner.rogahn

                                                                        Новичок

 На множестве людей задан предикат  D(x,y).  что означает "х дружит с у".  Какие из приведенных формул исчисления предикатов содержат свободные переменные, и, следовательно, не могут принять конкретное значение И или Л?ƎуD(Петр, у)ƎxⱯy D(x,y)ⱯхƎу D(x,y)Ǝ...

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

                                                                     30

                                                                                                                                                            Ответить

                                                                                    marvin.immanuel

                                                                        Новичок

 Являются ли две приведенные формулы исчисления высказываний равносильными? ((B&A⟶C)⟶(B∨C⟶B&¬A))⟶B&C и B&C

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

                                                                     40

                                                                                                                                                            Ответить

                                                                                    skylar37

                                                                        Новичок

 Укажите, какие из следующих формул задают немонотонные функции((¬X ∧ Z) → (Y ∧ ¬Z)) ∧ Y(X ∨ Y) ⊕ (Y ∧ Z) ⊕ (X ∧ Y ∧ Z)(Y → ¬X) → (Y ∧ Z)НИ ОДНА

                                                                        Другие предметы
                                                                        Университет
                                                                                                                                                Немонотонные функции
                                                                                                                                                                                                                            Новый

                                                                     23

                                                                                                                                                            Ответить

                Назад

                                                                        1
                                                                                2

                Вперед

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

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

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

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

Вопросы