Задание по ЭВМ. Синтезировать комбинационную схему в базисе Буля?

[Mat Bourn]

Всем доброго. Имеется задание F (A, B, C) = C∧(¬A⇒¬B⇒¬C)

По таблице истинности получил СДНФ и СКНФ.

СДНФ:	¬A∧B∧C
СКНФ:	(A∨B∨C)∧(A∨B∨¬C)∧(A∨¬B∨C)∧(¬A∨B∨C)∧(¬A∨B∨¬C)∧(¬A∨¬B∨C)∧(¬A∨¬B∨¬C)

Затем с помощью карт Вейча минимизировал:

МДНФ: ¬ABC
МКНФ: ¬A∧B∧C

Сейчас задача стоит Синтезировать КС в базисе Буля. Почитав немного теории, немного имею представления как делать, но не знаю как правильно.

На картинке нарисовал варианты, какой будет правильнее я не знаю?

[ViktorR]

Если преобразования правильные, то, на мой некомпетентный взгляд, все схемы соответствуют уравнению.
Как вариант для проверки - построить таблицу истинности.

Так, между делом, в Сети есть неплохой симулятор Atanua для логических схем (свободное ПО).
Он простенький и только в учебных целях. Рисуешь схему из готовых компонент и созерцаешь ...

[Mat Bourn]

Посмотрите пожалуйста еще схему второго задания F (A, B, C, D) = ¬(A∨B∨C∧D)⇒¬C∧¬D

МДНФ:	A∨B∨CD∨¬C¬D
МКНФ:	(A∨B∨¬C∨D)∧(A∨B∨C∨¬D)