Приведение к нормальным формам, тип формулы

27.01.2013, 23:21. **Показов** 1476. **Ответов** 0

Author24 — интернет-сервис помощи студентам

Используя алгоритмы приведения, преобразовать функцию в ДНФ, КНФ, а затем в ДСНФ и КСНФ:
$https://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A}$
у меня получилось только вот так: $https://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A} = \overline {\overline {BC} \vee A} = BC \wedge \overline A = \overline A BC$
ДСНФ и прочего не получается, если есть ошибка, исправьте пожалуйста.
Определить тип формулы (тождественно истинна, тождественно ложна или выполнима):
$https://www.cyberforum.ru/cgi-bin/latex.cgi?((A \to (B \wedge D)) \to (\overline B \to \overline A )) \to \overline B$
здесь тип формулы нужно определить 3 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно.
и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности?

kotenych
		1
	Приведение к нормальным формам, тип формулы 27.01.2013, 23:21. Показов 1476. Ответов 0 Метки нет (Все метки) Используя алгоритмы приведения, преобразовать функцию в ДНФ, КНФ, а затем в ДСНФ и КСНФ: $https://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A}$ у меня получилось только вот так: $https://www.cyberforum.ru/cgi-bin/latex.cgi?f = \overline {BC \to A} = \overline {\overline {BC} \vee A} = BC \wedge \overline A = \overline A BC$ ДСНФ и прочего не получается, если есть ошибка, исправьте пожалуйста. Определить тип формулы (тождественно истинна, тождественно ложна или выполнима): $https://www.cyberforum.ru/cgi-bin/latex.cgi?((A \to (B \wedge D)) \to (\overline B \to \overline A )) \to \overline B$ здесь тип формулы нужно определить 3 способами: таблица истинности, алгебраический метод и "от противного". с помощью таблицы истинности у меня получилось определить её как выполнимую, но не получается доказать это другими методами. возможно неправильно определён тип формулы. проверьте, если можно. и ещё: как выразить все булевы функции через полную систему функций? и как можно доказать функцию с помощи таблицы истинности?

	27.01.2013, 23:21