Απ? τη Βικιπα?δεια, την ελε?θερη εγκυκλοπα?δεια
百度 所以要做到精准管理,必须精准掌握客舱中乘客和随身行李的重量,做到这点没别的办法,只能用秤称。
Στη μαθηματικ? λογικ? , σ?ζευξη ε?ναι ο λογικ?? τελεστ?? που δ?νει αποτ?λεσμα αληθ?? ?ταν και οι δ?ο ?ροι στου? οπο?ου? ενεργε? ε?ναι αληθ??. Στην καθομιλουμ?νη γλ?σσα αντιστοιχε? στην φρ?ση "και".
Για τη λογικ? σ?ζευξη χρησιμοποιο?νται τα σ?μβολα AND (απ? την αγγλικ? λ?ξη and για το και ),
&
&
{\displaystyle \&\&}
και
∧
{\displaystyle \wedge }
.[ 1] :147-148 [ 2] :21 [ 3] :17 [ 4] :17 [ 5] :154
Παρακ?τω δ?νεται ο π?νακα? αλ?θεια? για την πρ?ταση
p
∧
q
{\displaystyle p\land q}
:
p
{\displaystyle p}
q
{\displaystyle q}
p
∧
q
{\displaystyle p\land q}
0
0
0
0
1
0
1
0
0
1
1
1
?που 0 ε?ναι ψευδ?? και 1 ε?ναι αληθ??.
Η σ?ζευξη ε?ναι ταυτοδυναμ?α , δηλαδ?
x
∧
x
=
x
{\displaystyle x\land x=x}
.
Απ?δειξη
Προκ?πτει απ? την πρ?τη και την τελευτα?α γραμμ? του π?νακα αληθε?α?.
Το
1
{\displaystyle 1}
ε?ναι ουδ?τερο στοιχε?ο , δηλαδ?
x
∧
1
=
1
∧
x
=
x
{\displaystyle x\land 1=1\land x=x}
.
Απ?δειξη
Προκ?πτει απ? την δε?τερη και την τελευτα?α γραμμ? του π?νακα αληθε?α?.
Το
0
{\displaystyle 0}
ε?ναι απορροφητικ? στοιχε?ο , δηλαδ?
x
∧
0
=
0
∧
x
=
0
{\displaystyle x\land 0=0\land x=0}
.
Απ?δειξη
Προκ?πτει απ? τι? πρ?τε? τελευτα?ε? γραμμ?? του π?νακα αληθε?α?.
Απ?δειξη
Προκ?πτει απ? τον π?νακα αληθε?α?.
Ικανοποιε? την προσεταιριστικ? ιδι?τητα , δηλαδ?
x
∧
(
y
∧
z
)
=
(
x
∧
y
)
∧
z
{\displaystyle x\land (y\land z)=(x\land y)\land z}
.
Απ?δειξη
x
{\displaystyle x}
y
{\displaystyle y}
z
{\displaystyle z}
x
∧
(
y
∧
z
)
{\displaystyle x\land (y\land z)}
(
x
∧
y
)
∧
z
{\displaystyle (x\land y)\land z}
0
0
0
0
∧
0
=
0
{\displaystyle 0\land 0=0}
0
∧
0
=
0
{\displaystyle 0\land 0=0}
0
0
1
0
∧
0
=
1
{\displaystyle 0\land 0=1}
0
∧
1
=
1
{\displaystyle 0\land 1=1}
0
1
0
0
∧
0
=
1
{\displaystyle 0\land 0=1}
0
∧
0
=
1
{\displaystyle 0\land 0=1}
0
1
1
0
∧
1
=
1
{\displaystyle 0\land 1=1}
0
∧
1
=
1
{\displaystyle 0\land 1=1}
1
0
0
1
∧
0
=
1
{\displaystyle 1\land 0=1}
0
∧
0
=
1
{\displaystyle 0\land 0=1}
1
0
1
1
∧
0
=
1
{\displaystyle 1\land 0=1}
0
∧
1
=
1
{\displaystyle 0\land 1=1}
1
1
0
1
∧
0
=
1
{\displaystyle 1\land 0=1}
1
∧
0
=
1
{\displaystyle 1\land 0=1}
1
1
1
1
∧
1
=
1
{\displaystyle 1\land 1=1}
1
∧
1
=
1
{\displaystyle 1\land 1=1}
x
∧
(
y
∨
z
)
=
(
x
∧
y
)
∨
(
x
∧
z
)
{\displaystyle x\land (y\lor z)=(x\land y)\lor (x\land z)}
, και
x
∨
(
y
∧
z
)
=
(
x
∨
y
)
∧
(
x
∨
z
)
{\displaystyle x\lor (y\land z)=(x\lor y)\land (x\lor z)}
.
↑ Hayes, John P. (1993). Introduction to Digital Logic Design . Addison-Wesley Publishing Company. ISBN 0-201-15461-7 .
↑ Harris, David Money (2013). Digital design and computer architecture (2η ?κδοση). Waltham, MA: Morgan Kaufmann. ISBN 978-0-12-394424-5 .
↑ Κολ?τσο?, Γε?ργιο?. ?Εισαγωγ? - Η Λογικ? των Προτ?σεων? (PDF) . Σχολ? Εφαρμοσμ?νων Μαθηματικ?ν και Φυσικ?ν Επιστημ?ν, Εθνικ? Μετσ?βιο Πολυτεχνε?ο. Αρχειοθετ?θηκε απ? το πρωτ?τυπο (PDF) στι? 3 Σεπτεμβρ?ου 2022. Ανακτ?θηκε στι? 3 Σεπτεμβρ?ου 2022 .
↑ Κολ?τσο?, Γ. (2015). Μαθηματικ? λογικ? . Κ?λλιπο?, Ανοικτ?? Ακαδημα?κ?? Εκδ?σει?. doi :10.57713/kallipos-785 . ISBN 978-960-603-311-7 .
↑ Ζ?χο?, Ε.· Παγουρτζ??, Α.· Σο?λιου, Θ. (2015). ?Μαθηματικ? Λογικ??. Θεμελ?ωση επιστ?μη? υπολογιστ?ν . Κ?λλιπο?, Ανοικτ?? Ακαδημα?κ?? Εκδ?σει?.