Co to jestlogiczne twierdzenia ?

Maszyny do uproszczenia wypowiedzi w wyrażeniach logicznych , logiczne twierdzenia użyciu alfabetu litery , jak X, Y i Z do reprezentowania prawdy lub oświadczeń kłamstw . Twierdzenia te są następnie wykorzystywane do kierowania możliwe relacje , że wartości te mogą mieć , przy założeniu, każdy reprezentuje tylko wartość 1 (prawda ) lub 0 (fałsz ) . Jednej zmiennej Twierdzenia

twierdzenia jednej zmiennej użyć tylko alfabetycznego się X, które może reprezentować 1 lub 0 , i jest używany, gdydokładna wartość nie jest znana . Podstawowe twierdzenia jednej zmiennej to pomnożone przez x 0 jest równa 0, a X pomnożona przez 1 jest równa x. Takie twierdzenie jesttaka sama , jak w normalnych matematyki. Inne twierdzenia uzyskać bardziej szczegółowe. jednak. Na przykład , x pomnożonej przez x , zawsze równe 0 lub 1 , gdyż mogą tylko x równe 0 lub 1 sama . Ponadto , X Plus 1 lub X Plus X , nawet jeśli oba x jest równe 1 , jest równa 1. Ten przeciwstawia regularne matematykę i jestpunktem wyjścia dla wyjątkowej logiki algebry Boole'a . Foto Foto Foto Multivariable Twierdzenia

Multivariable twierdzenia używać kilku liter alfabetu , jak x, Y i z do reprezentowania 0 i 1 , więc jest więcej możliwych kombinacji tych problemów binarnych. Proste wielu zmiennych twierdzenia sątakie same jak podstawowych zasad matematycznych takich jak twierdzenia , że podstawniki mogą być namnażane w dowolnej kolejności, w celu wytworzenia tego samego numeru: xyz = yzx = ZYX i tak dalej. W bardziej zaawansowanych twierdzeń jednak wprowadzić specjalną logikę algebry Boole'a , gdyż każda zmienna może tylko równe 0 lub 1. Na przykład , x Plus xy jest równa x. Bardziej złożone multivariables wykorzystują więcej zmiennych , takich jak twierdzenia 13b , który stanowi ( w + x) ( y + z ) = WY + wz + xy + xz .
Boolean Algebra

w przeciwieństwie do zwykłej algebrze liczb , algebra Boole'a jestalgebra wartości binarnych, 0 i 1 , które stanowią prawdziwe i fałszywe lub tak, i nie . Boole'a często określa się jako układ logiczny , w przeciwieństwie do układu matematycznej , ponieważ wykorzystuje dedukcyjnego udowodnić , czyrachunek lub wzoru jest prawdziwe , czy nie. Boolean Algebra System używa określenia " i ", " lub ", a " nie " oznacza mnożyć , dodawać i dzielić, choć zasady nie są takie same jak w standardowych matematyki , ponieważ produkt lub suma wszystkich równań może tylko równą 1 lub 0.
Korzystanie Boolean twierdzenia

Boolean algebra logiczne twierdzenia i wynaleziono w 19 wieku jako system logiczny , a później były stosowane do logiki rozdzielnic . Obecnie Boolean algebra i twierdzenia logiczne stosowane są w wyszukiwania funkcji silnika, gdzie terminy wyszukiwania są powiązane i , lub , a nie wartości. Boole'a także prowadzić do rozwoju rachunku zdań , która analizuje strukturę logiczną języka naturalnego .