Форумы-->Форум для внеигровых тем-->
Автор | Кто-нибудь разбирается в мат-логике? |
Пишу курсовую по Архитектуре ЭВМ и вот попалось задание, связанное с мат.-логикой: минимизировать СДНФ и СКНФ по таблице истинности:
X1| X2|X3 |F
0 | 0 | 0 | 0
0 | 0 | 1 | 0
0 | 1 | 0 | 0
0 | 1 | 1 | 1
1 | 0 | 0 | 1
1 | 0 | 1 | 0
1 | 1 | 0 | 0
1 | 1 | 1 | 1
СКНФ и СДНФ нашёл, сокращал их, а что дальше?
В общем, если кто поможет минимизировать и СДНФ, и СКНФ, то пришлю в благодарность 10к) | перфокарту пришли лучше | перфокарту пришли лучше
Да нет у меня перфокарты - в начале была РКС, на основе РКС я построил таблицу истинности, нашёл СДНФ и СКНФ, с СДНФ более или менее разобрался, как минимизировать, а вот с при сокращении СКНФ получилось
(X2&неX3)V(X1&неX2) | Всё, понял как делать) | тема закрыта by Аней (2012-05-22 19:56:19) |
---|
К списку тем
|