Контрольные работы на тему математическая логика

1. Для каждой посылки и для заключения выполнить следующие действия: построить таблицу истинности, произвести минимизацию логической формулы, представить формулу в базисах (, &) и (, ), построить КНФ, ДНФ, СКНФ и СДНФ. Для общей формулы: доказать истинность заключения с помощью построения дерева

Вариант 3 Расчетной работы по курсу «Математическая логика» 1. Построив таблицы истинности функций алгебры логики f1 и f2, про-верить их на эквивалентность. f1=xV(y~z); f2=(xVy)~(xVz). f1=x&(y~z); f2=((x&y)~(x&z))~x. 2. С использованием принципа двойственности построить формулу, реализующую фун

Задание № 1 Известно, что функция f(x1,x2,…,xn) примитивно рекурсивна. Показать примитивную рекурсивность функции g, если она имеет следующий вид: Задание № 2 Даны функции g(x) и h(x,y,z). Определить, какая функция f(x,y) получается из них с помощью операции примитивной рекурсии. Задание № 3 В к

1. Используя таблицу истинности, установить эквивалентность функций в формуле. 2. Определить к каким классам (константы нуля, константы единицы, самодвойственных функций, монотонных функций, линейных функций, симметрических функций) относится функция следующего вида. 21 3.Необходимо для данной ФАЛ

необходимо сделать 7 заданий 1. Необходимо для данной ФАЛ f(x1,x2,x3,х4) найти ее ДСНФ,КСНФ,ПСНФ,ЭСНФ,ИСНФ, принимающей значение 1 на следующих наборах: 0, 3, 4, 7, 8, 11, 12, 15. нужно найти только ИСНФ. 2. Используя метод неопределенных коэффициентов, необходимо найти МДНФ функции f(x1,x2,x3),

По дисциплине “Математическая логика и теория алгоритмов” студенты выполняют две контрольных работы. Текст заданий на контрольные работы 1 и 2 генерируется с помощью программы MLTA2005. В качестве номера варианта студент использует не менее четырех последних цифр своего шифра. Для этого программа

Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций. Область определения: авторы литературных произведений. 1. Все авторы литературных произведений, постигшие природу человека, умные люди. 2. Ни одного автора нельзя считать исти

Сформулировать представленную ниже задачу на языке логики высказываний и проверить истинность заключений методом резолюций. Область определения: мои мысли. 1. Любая мысль, которую нельзя выразить в виде силлогизма, поистине смешна. 2. Моя мечта о сдобных булочках не стоит того, чтобы ее записывать

f(x3) = (10101010); x y z f 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 Решение: f(x3) = (10101010); x y z f 0 0 0 1 0 0 1 0 0 1 0 1 0 1 1 0 1 0 0 1 1 0 1 0 1 1 0 1 1 1 1 0 1) f(0, 0, 0) = f (1, 0