Czy istnieje nazwa logiczna AND z negacji (~) drugiej zmiennej, tjNazwa dla operatora logicznego A & (~ B)
A & (~B)
tabeli prawdy dla takiego działania jest:
0 & (~0) = 0
0 & (~1) = 0
1 & (~0) = 1
1 & (~1) = 0
A w dłuższych sekwencji bitów,
A = 10110011
B = 10111001
A & B = 10110001
A &(~B) = 00000010
PS - Jestem zainteresowany z lub bez negacji sek Zmienna ond też.
Niewiarygodne. A & (~ B) nazywa się Material nonimplication, a A | (~ B) jest nazywane Material implication Wydaje się, że every possible binary operation has a name.
Zamierzałem napisać to jako odpowiedź. –
Z wyjątkiem kopii zapasowej z [Wikipedia: logical connective] (http://en.wikipedia.org/wiki/Logical_connective#Common_logical_connectives) –
Który z nich jest lepszy: "Logiczne NAND" lub "Alternatywne odmowy"? –
Ustawiony termin teoretyczny jest "względnym uzupełnieniem" B w odniesieniu do A.
dobrze wiedzieć ;-) –
OR z negacją to implikacja. – RonaldBarzell