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

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

Мені потрібний такий логічний елемент
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

2

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

q and not p
Чи нє?

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

3

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, тепер зрозуміло ?

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

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

5

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

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

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