Tworzenie książki (wyłącz)
 Dodaj tę stronę do książki Pokaż książkę (0 stron) Proponowane strony

Koniunkcja (logika)

Z Wikipedii, wolnej encyklopedii
Skocz do: nawigacji, szukaj

Koniunkcjazdanie złożone mające postać p i q , gdzie p, q są zdaniami. W rachunku zdań koniunkcję zapisuje się symbolicznie jako: p\,\and\,q\,\!. Przez koniunkcję rozumie się też zdanie mające postać p(1) i ... i p(n). Koniunkcję można zdefiniować precyzyjniej jako dwuargumentowe działanie określone w zbiorze zdań, które zdaniom p, q przyporządkowuje zdanie p i q

Działanie to pozostaje w ścisłym związku z działaniem przekroju zbiorów (patrz algebra zbiorów). Dlatego zdanie utworzone z innych zdań za pomocą koniunkcji jest też nazywane iloczynem logicznym. Koniunkcję zdań uznaje się za prawdziwą wtedy i tylko wtedy, gdy oba zdania p, q są prawdziwe.

Uproszczony schemat bramki logicznej AND - iloczynu bitowego

Symbol koniunkcji jako bramki logicznej:

Bramka log AND.svg

Tablica prawdy dla koniunkcji:
p \! q \! p \and q \!
0 0 0
0 1 0
1 0 0
1 1 1

gdzie:

1 – zdanie prawdziwe
0 – fałszywe

Spis treści

[edytuj] Własności

Koniunkcja jest operacją dwuargumentową i charakteryzuje się następującymi cechami:

p\,\and\,q = q\, \and\, p\,\!
p\,\and\,(q\,\and\,r) = (p\,\and\,q)\,\and\,r\,\!

Do oznaczenia koniunkcji stosowany jest także angielski spójnik AND (symbol funkcji boolowskiej).

[edytuj] Przykłady

[edytuj] Koniunkcja binarna

W informatyce operację koniunkcji binarnej (ang. bitwise AND) stosuje się do par liczb naturalnych wykonując operacje na cyfrach zapisów binarnych tych liczb. Wynik zawiera jedynki na tych pozycjach, na których w obydwu ciągach występowała jedynka. Np.:

14 & 4 =      
= 0001110 & 0000100 =   (liczby w systemie binarnym)
= 0000100 =    (efekt operacji na kolejnych cyfrach)
= 4     (wynik w postaci dziesiętnej)

[edytuj] Zobacz też

Wikibooks-logo.svg
Zobacz podręcznik na Wikibooks: Matematyka dla liceum - Logika
WiktionaryPl nodesc.svg
Zobacz hasło AND w Wikisłowniku
Źródło „http://pl.wikipedia.org/w/index.php?title=Koniunkcja_(logika)&oldid=29649393
Osobiste
Przestrzenie nazw

Warianty
Działania
Nawigacja
Dla czytelników
Dla wikipedystów
Narzędzia
Drukuj lub eksportuj
W innych językach

Polecamy: Pozycjonowanie, wózki dziecięce, Kino domowe, Viagra, Kredyty