Методические указания к самостоятельным (домашней и контрольной) работам по курсу «Математическая логика и теория алгоритмов» (стр. 3 )

x	y	z	xy	xz	yz	xyz
x	y	z	xy	xz	yz	xyz
x	y	z	xy	xz	yz	xyz
x	y	z	xy	xz	yz	xyz

Вычеркнутые в этих строках конъюнкции убираем во всех остальных строках карты. В каждой строке оставляем конъюнкции с наименьшим числом сомножителей:

					yz
			xy	xz
			xy		yz
				xz

Видно, что yz и xz обязательно войдут в ответ, так как они остались по одному в строке, они же составят результат.

Варианты контрольной работы

Ж.

Привести к ДНФ и КНФ: а) и б)

Проверить полноту систем функций: а) {, 1}; б) {+, , 0}; в) {, }.