Трейдинг криптовалют на полном автомате по криптосигналам. Сигналы из первых рук от мощного торгового робота и команды из реальных профессиональных трейдеров с опытом трейдинга более 7 лет. Удобная система мгновенных уведомлений о новых сигналах в Телеграмм. Сопровождение сделок и индивидуальная помощь каждому. Сигналы просты для понимания как для начинающих, так и для опытных трейдеров. Акция. Посетителям нашего сайта первый месяц абсолютно бесплатно.
Обращайтесть в телеграм LegionCryptoSupport
Приклад 2. Записати зведену форму формул логіки предикатів та перетворити її на випереджену:
та
;
;
с);
d) ;
e) ;
f) ;
g) .
а) Виразимо імплікацію через диз’юнкцію та скористаємось законами де Моргана для кванторів: та
.Отримали зведені форми даних формул. Винести квантор загальності за дужки у першій формулі не можна, оскільки нема дистрибутивного закону для диз’юнкції. Потрібно у одному з доданків перейменувати змінну х якоюсь іншою буквою:
. Далі по черзі проносимо квантори загальності через диз’юнкцію:
- ВНФ. У другій формулі використовуємо відповідний дистрибутивний закон для квантора існування:
– ВНФ
b)
-
зведена форма. Квантор існування по х та zможна пронести через диз’юнкцію, а змінну у в області дії квантора перейменуємо на t:
.
с)
- зведена форма. Квантори поу та zможна винести за дужки, а змінну х в області дії квантора загальності перейменуємо:
- ВНФ.
d)
-
зведена форма. Щоб винести квантор загальності по y за дужки, в області дії цього квантора замінимо у на
z:- ВНФ.
е)
- зведена форма.
-
випереджена нормальна форма. Тут у перших дужках квантор існування пронесли через диз’юнкцію, а у другому множнику зробили заміну зиінних і пронесли усі квантори почергово через кон’юнкцію.
Рекомендуємо почитати:
Технології викладання історії
У методичній літературі на сьогоднішній день досить мало інформації про новітні технології викладання. Технологія - це сукупність форм, методів, прийомів і засобів, застосовуваних у якій-не ...
Практичні заходи щодо виконання програми розвитку Українського козацтва в
Білгород-Дністровському районі на 2008-2010 роки
Заходи щодо розвитку Українського козацтва в Білгород-Дністровському районі на 2000-2005 роки, затверджені розпорядженням голови районної державної адміністрації від 11.05.2000 року №724/20 ...
Функції мови та їх реалізація у мовленні. Органи мовлення, їх функції
У визначенні функцій мови єдності немає. У працях з мовознавства спостерігаємо єдність у таких функціях: інформаційна, комунікативна, емотивна, когнітивна. 1. Інформаційна функція полягає в ...
У ДНЗ навчання дітей англійської мови доцільно розпочинати з п'ятилітнього віку. Більшість дітей цього віку досягають інтелектуальної, вольової, мотиваційної та емоційної готовності вивчати другу мову у колективі. >>>