1 Тема від Betterthanyou Востаннє редагувалося Betterthanyou (11.08.2017 01:53:04)

  • Звідки: Київ
  • Дата реєстрації: 16.05.2014
  • Повідомлень: 1 695
    • Репутація: 1022

Тема: Аб'ю́нкція

Мені потрібний такий логічний елемент
p ↛  q  result
0      0  0
0      1  1
1      0  0
1      1  0
такий елемент називається "аб'ю́нкція", на вікіпедії написано що аб'ю́нкція рівна p∧~q

Для початку зроблю приклад з використанням таблиці аб'ю́нкції
p = 01010101
q = 00110100
p ↛ q = 00100000

Тепер буду використовувати аналоги p∧~q
p = 01010101
q = 00110100
~q = 11001011
p∧~q = 01000001

ну і звичайно
00100000 != 01000001

Де ж я зробив помилку ?
Мені потрібно замінити аб'ю́нкцію використовуючи будь-які операції із NOT, AND, OR, XOR як це зробити ?

Подякували: 221VOLT1

Betterthanyou вебсайт

2 Відповідь від Vo_Vik

  • Vo_Vik
  • Replace Team
  • Поза форумом
  • Дата реєстрації: 01.10.2012
  • Повідомлень: 4 787
    • Репутація: 2494

Re: Аб'ю́нкція

q and not p
Чи нє?

Подякували: leofun01, koala, Betterthanyou, LoganRoss4

Vo_Vik вебсайт

3 Відповідь від Betterthanyou

  • Звідки: Київ
  • Дата реєстрації: 16.05.2014
  • Повідомлень: 1 695
    • Репутація: 1022

Re: Аб'ю́нкція

Vo_Vik написав:

q and not p
Чи нє?

Ні, я ж про це писав

Betterthanyou написав:

Тепер буду використовувати аналоги p∧~q
p = 01010101
q = 00110100
~q = 11001011
p∧~q = 01000001
ну і звичайно
00100000 != 01000001

Чомусь q and not p (воно ж p∧~q) не дорівнює 00100000

Я написав що, на приклад "p = 01010101", а "q = 00110100"
Заперечення q, NOT q =  11001011
Логічне "і", p and (not q) = 01000001

Але якщо робити за таблицею, виходить
  01010101
  00110100
=00100000

00100000 не дорівнює 01000001, тепер зрозуміло ?

Betterthanyou вебсайт

4 Відповідь від leofun01 Востаннє редагувалося leofun01 (11.08.2017 06:58:07)

  • leofun01
  • leofun01
  • Replace Team
  • Поза форумом
  • Дата реєстрації: 15.03.2014
  • Повідомлень: 3 278
    • Репутація: 2720

Re: Аб'ю́нкція

Betterthanyou написав:

Мені потрібний такий логічний елемент

p  q  result
0  0  0
0  1  1
1  0  0
1  1  0

Це не аб'ю́нкція відносно послідовності (p, q). Це "(not p) and q", тобто це аб'ю́нкція відносно послідовності (q, p). Зверніть увагу на порядок параметрів.

Betterthanyou написав:

аб'ю́нкція рівна p∧~q

Правильно, і у цьому випадку таблиця буде наступна

p  q  result
0  0  0
0  1  0
1  0  1
1  1  0

Це "p and (not q)".

Подякували: LoganRoss, koala, Betterthanyou3

leofun01 вебсайт

5 Відповідь від koala

  • koala
  • koala
  • Лінива тваринка
  • Поза форумом
  • Дата реєстрації: 01.05.2013
  • Повідомлень: 15 603
    • Репутація: 13312

Re: Аб'ю́нкція

В таблиці на вікі І - істинно = 1, Х - хибно - 0. Перепишіть таблицю звідти і порівняйте зі своєю (на вікі вона догори дригом, якщо так зрозуміліше).

Подякували: Betterthanyou, leofun012

koala вебсайт