Перейти к содержанию
    

5 значная таблица истинности для основных функций

Здравствуйте , всем!

 

Как выглядят 5-значные таблицы истинности для функций AND, OR, XOR? Значения такие : '1', '0', 'Х (не определено)', 'ФРОНТ', 'СРЕЗ'. Честно искал в интернете, нигде не нашел. Если кто поможет ссылкой, буду очень thankful)

 

Спасибо!

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Здравствуйте , всем!

 

Как выглядят 5-значные таблицы истинности для функций AND, OR, XOR? Значения такие : '1', '0', 'Х (не определено)', 'ФРОНТ', 'СРЕЗ'. Честно искал в интернете, нигде не нашел. Если кто поможет ссылкой, буду очень thankful)

 

Спасибо!

 

Это где ж такое задали?

Раз не нашли - то или плохо искали, или задание не коректно.

Очевидно, что

 

0 AND X = 0

1 AND X = X

 

0 OR X = X

1 OR X = 1

 

0 XOR X = X

1 XOR X = X

 

Дальше можете сами подумать.

 

Насчет "Фронт" и "Срез" вообще в контексте логических функций говорить

не приходится, т.к. это имеет отношение к последовательностной логике - триггерам, регистрам, счетчикам, пр.

т.е. тому, что является элементами с памятью.

 

 

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Это где ж такое задали?

Раз не нашли - то или плохо искали, или задание не коректно.

Очевидно, что

 

0 AND X = 0

1 AND X = X

 

0 OR X = X

1 OR X = 1

 

0 XOR X = X

1 XOR X = X

 

Дальше можете сами подумать.

 

Насчет "Фронт" и "Срез" вообще в контексте логических функций говорить

не приходится, т.к. это имеет отношение к последовательностной логике - триггерам, регистрам, счетчикам, пр.

т.е. тому, что является элементами с памятью.

 

Да, я не корректно выразился насчет функции. Речь идет о моделировании элемента XOR, OR, AND, в плане элемента какой либо электронной схемы. С состояниями Х и с таблицами истинности с этими значениями я находил в интернете. но как быть с фронтами и срезами, например если взять двухвходовой элемент И(да и ИЛИ, Исключ ИЛИ) , состояние на выходе скорее всего будет Х , при ФРОНТ и СРЕЗ на входах. А какое состояние будет у элемента И , если на входах 1 и СРЕЗ?

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Да, я не корректно выразился насчет функции. Речь идет о моделировании элемента XOR, OR, AND, в плане элемента какой либо электронной схемы. С состояниями Х и с таблицами истинности с этими значениями я находил в интернете. но как быть с фронтами и срезами, например если взять двухвходовой элемент И(да и ИЛИ, Исключ ИЛИ) , состояние на выходе скорее всего будет Х , при ФРОНТ и СРЕЗ на входах. А какое состояние будет у элемента И , если на входах 1 и СРЕЗ?

 

Как я понимаю, от электроники Вы далеки...

Попытаюсь объяснить "на пальцах"

ФРОНТ - переход из '0' в '1', СРЕЗ - из '1' в '0'.

Именно переход, а не 0 или 1

 

______/''''''''''''''' - ФРОНТ это /

'''''''''''''''\______ - СРЕЗ это \

 

1 AND Срез = 1 AND (1 - > 0) = 1 -> 0 = Срез....

(да простят меня коллеги за такие вольности :-)

 

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

посмотрите в папочке quartus\libraries\vhdl\ieee\std_1164.vhd

там приведены все таблицы.

например

    -- truth table for "and" function
    CONSTANT and_table : stdlogic_table := (
    --      ----------------------------------------------------
    --      |  U    X    0    1    Z    W    L    H    -         |   |  
    --      ----------------------------------------------------
            ( 'U', 'U', '0', 'U', 'U', 'U', '0', 'U', 'U' ),  -- | U |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | X |
            ( '0', '0', '0', '0', '0', '0', '0', '0', '0' ),  -- | 0 |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | 1 |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | Z |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | W |
            ( '0', '0', '0', '0', '0', '0', '0', '0', '0' ),  -- | L |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | H |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' )   -- | - |
    );

    -- truth table for "or" function
    CONSTANT or_table : stdlogic_table := (
    --      ----------------------------------------------------
    --      |  U    X    0    1    Z    W    L    H    -         |   |  
    --      ----------------------------------------------------
            ( 'U', 'U', 'U', '1', 'U', 'U', 'U', '1', 'U' ),  -- | U |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | X |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | 0 |
            ( '1', '1', '1', '1', '1', '1', '1', '1', '1' ),  -- | 1 |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | Z |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | W |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | L |
            ( '1', '1', '1', '1', '1', '1', '1', '1', '1' ),  -- | H |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' )   -- | - |
    );

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

посмотрите в папочке quartus\libraries\vhdl\ieee\std_1164.vhd

там приведены все таблицы.

например

    -- truth table for "and" function
    CONSTANT and_table : stdlogic_table := (
    --      ----------------------------------------------------
    --      |  U    X    0    1    Z    W    L    H    -         |   |  
    --      ----------------------------------------------------
            ( 'U', 'U', '0', 'U', 'U', 'U', '0', 'U', 'U' ),  -- | U |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | X |
            ( '0', '0', '0', '0', '0', '0', '0', '0', '0' ),  -- | 0 |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | 1 |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | Z |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' ),  -- | W |
            ( '0', '0', '0', '0', '0', '0', '0', '0', '0' ),  -- | L |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | H |
            ( 'U', 'X', '0', 'X', 'X', 'X', '0', 'X', 'X' )   -- | - |
    );

    -- truth table for "or" function
    CONSTANT or_table : stdlogic_table := (
    --      ----------------------------------------------------
    --      |  U    X    0    1    Z    W    L    H    -         |   |  
    --      ----------------------------------------------------
            ( 'U', 'U', 'U', '1', 'U', 'U', 'U', '1', 'U' ),  -- | U |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | X |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | 0 |
            ( '1', '1', '1', '1', '1', '1', '1', '1', '1' ),  -- | 1 |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | Z |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' ),  -- | W |
            ( 'U', 'X', '0', '1', 'X', 'X', '0', '1', 'X' ),  -- | L |
            ( '1', '1', '1', '1', '1', '1', '1', '1', '1' ),  -- | H |
            ( 'U', 'X', 'X', '1', 'X', 'X', 'X', '1', 'X' )   -- | - |
    );

 

 

Тоже была идея показать эти таблицы... но показалось, что не поймут :-)

 

Но это сделали Вы...

Где же фронт и срез !? :-)

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

В std logic нет фронтов и срезов, от электроники я не совсем далек)

То есть вы,Victor, говорите, что будет срез?(1 and срез)

Если следовать этой логике дальше, то 0 OR фронт -> Фронт, 1 OR Срез -> 1, 0 XOR Срез -> Срез?

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Здравствуйте , всем!

Как выглядят 5-значные таблицы истинности для функций AND, OR, XOR? Значения такие : '1', '0', 'Х (не определено)', 'ФРОНТ', 'СРЕЗ'. Честно искал в интернете, нигде не нашел. Если кто поможет ссылкой, буду очень thankful)

Спасибо!

Для таких вопросов подошел бы раздел В помощь начинающему :rolleyes:

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

В std logic нет фронтов и срезов, от электроники я не совсем далек)

То есть вы,Victor, говорите, что будет срез?(1 and срез)

Если следовать этой логике дальше, то 0 OR фронт -> Фронт, 1 OR Срез -> 1, 0 XOR Срез -> Срез?

 

http://ru.wikipedia.org/wiki/%D0%91%D1%83%...%86%D0%B8%D1%8F

Особенно см. "Тождественность и двойственность"

И если от электроники не далеки - то разберетесь.

 

Успехов!

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Дабы увеличить энтропию, выдаю картинку из помощи в Quartus.

 

post-10362-1292827171_thumb.jpg

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Дабы увеличить энтропию, выдаю картинку из помощи в Quartus.

 

Для ещё большего увеличения энтропии привожу описание типа VitalMemorySymbolType из библиотеки Vital

В этом типе есть значения фронт, срез

 

-- ----------------------------------------------------------------------------
-- Symbol Literals used for Memory Table Modeling
-- ----------------------------------------------------------------------------

-- Symbol literals from '/' to 'S' are closely related to MemoryTableMatch
-- lookup matching and the order cannot be arbitrarily changed.
-- The remaining symbol literals are interpreted directly and matchting is
-- handled in the MemoryMatch procedure itself.

TYPE VitalMemorySymbolType IS (
  '/',      -- 0 -> 1
  '\',      -- 1 -> 0
  'P',      -- Union of '/' and '^' (any edge to 1)
  'N',      -- Union of '\' and 'v' (any edge to 0)
  'r',      -- 0 -> X
  'f',      -- 1 -> X
  'p',      -- Union of '/' and 'r' (any edge from 0)
  'n',      -- Union of '\' and 'f' (any edge from 1)
  'R',      -- Union of '^' and 'p' (any possible rising edge)
  'F',      -- Union of 'v' and 'n' (any possible falling edge)
  '^',      -- X -> 1
  'v',      -- X -> 0
  'E',      -- Union of 'v' and '^' (any edge from X)
  'A',      -- Union of 'r' and '^' (rising edge to or from 'X')

  'D',      -- Union of 'f' and 'v' (falling edge to or from 'X')

  '*',      -- Union of 'R' and 'F' (any edge)
  'X',      -- Unknown level
  '0',      -- low level
  '1',      -- high level
  '-',      -- don't care
  'B',      -- 0 or 1
  'Z',      -- High Impedance
  'S',      -- steady value

  'g',      -- Good address (no transition)
  'u',      -- Unknown address (no transition)
  'i',      -- Invalid address (no transition)
  'G',      -- Good address (with transition)
  'U',      -- Unknown address (with transition)
  'I',      -- Invalid address (with transition)

  'w',      -- Write data to memory
  's',      -- Retain previous memory contents

  'c',      -- Corrupt entire memory with 'X'
  'l',      -- Corrupt a word in memory with 'X'
  'd',      -- Corrupt a single bit in memory with 'X'
  'e',      -- Corrupt a word with 'X' based on data in
  'C',      -- Corrupt a sub-word entire memory with 'X'
  'L',      -- Corrupt a sub-word in memory with 'X'

  -- The following entries are commented since their
  -- interpretation overlap with existing definitions.

  --      'D',      -- Corrupt a single bit of a sub-word with 'X'
  --      'E',      -- Corrupt a sub-word with 'X' based on datain

  'M',      -- Implicit read data from memory
  'm',      -- Read data from memory
  't'       -- Immediate assign/transfer data in

);

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Судя по настроению ваших ответов, вопрос из разряда для начинающих, но ответа на него никто так и не написал, если вопрос такой легкий, к чему эти ссылки на википедию с разделом дискретная математика? просто на пишите пару выражений, зачем писать ответы вроде хелпа к элементу fifo, что вы этой картинкой хотели показать когда выкладывали, хотя бы подумали или просто лишь бы написать?

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Для совсем уж бессовестного увеличения энтропии:

 

- не используйте слово "срез". Гостированное понятие "спад". Это принципиально. Особенно для нормоконтроля.

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Судя по настроению ваших ответов, вопрос из разряда для начинающих, но ответа на него никто так и не написал, если вопрос такой легкий, к чему эти ссылки на википедию с разделом дискретная математика? просто на пишите пару выражений, зачем писать ответы вроде хелпа к элементу fifo, что вы этой картинкой хотели показать когда выкладывали, хотя бы подумали или просто лишь бы написать?

 

Патамучта

1) Вопрос не коректный -> см. мой первый ответ

2) Ссылка давалась для того, чтобы Вы ее прочитали. Тогда вопросы снялись бы.

 

Раскройте тайну - где Вам такое задание выдали?

Вы уж не обижайтесь, но тот кто его выдал или достаточно хитрый (чтобы Вас в тупик завести)

или основательно глупый некомпетентный.

 

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Зачем мне обижаться?) Я просто не понимаю , зачем все эти многочисленные сообщения на один небольшой вопрос) Это черта наших граждан наверно)

Человек который поставил этот вопрос скорее относится к первой группе чем ко второй. Так какой же ответ?)

Я не совсем понимаю зачем ссылка из википедии, хотя понимаю Что там написано. Вы меня поправили, что срез и фронт не относится к функциям.

 

Поделиться сообщением


Ссылка на сообщение
Поделиться на другие сайты

Присоединяйтесь к обсуждению

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

Гость
Ответить в этой теме...

×   Вставлено с форматированием.   Вставить как обычный текст

  Разрешено использовать не более 75 эмодзи.

×   Ваша ссылка была автоматически встроена.   Отображать как обычную ссылку

×   Ваш предыдущий контент был восстановлен.   Очистить редактор

×   Вы не можете вставлять изображения напрямую. Загружайте или вставляйте изображения по ссылке.

×
×
  • Создать...