• Najnowsze pytania
  • Bez odpowiedzi
  • Zadaj pytanie
  • Kategorie
  • Tagi
  • Zdobyte punkty
  • Ekipa ninja
  • IRC
  • FAQ
  • Regulamin
  • Książki warte uwagi

Optymalizacja Zdań Logicznych

VPS Starter Arubacloud
0 głosów
323 wizyt
pytanie zadane 14 lipca 2021 w Matematyka, fizyka, logika przez Zaqu93 Gaduła (4,850 p.)
Witam.

Próbuje zoptymalizować zdanie:

(P∧Q∧R)∨(P∧~Q∧R)∨(P∧~Q∧~R)

I mam pewien problem otóż czy to zdanie jest równoznaczne z tym:

(P∧(Q∧R))∨(P∧(~Q∧R))∨(P∧(~Q∧~R))

Z góry dzieki za odpowiedź.
komentarz 14 lipca 2021 przez Tomasz Sobczak Bywalec (2,830 p.)
Jeżeli o P, Q oraz R masz więcej informacji np. R - może być częściej równe 0 to np. w (R∧Q∧P) będzie wiadomo szybciej że wartość tego nawiasu przyjmie wartość 0  niż gdyby sprawdzać R jako ostatnie.

3 odpowiedzi

+1 głos
odpowiedź 15 lipca 2021 przez Tomasz Sobczak Bywalec (2,830 p.)
wybrane 16 lipca 2021 przez Zaqu93
 
Najlepsza

Tę część zdecydowanie można uprościć:

( ( P ∧ ~Q ) ∧ R )∨( ( P ∧ ~Q ) ∧ ~R )  <=> ( P ∧ ~Q )

Jeżeli zastosujemy podstawienie pomocnicze ( P ∧ ~Q ) = T, to do udowodnienia mamy proste prawo:

T < = > ( T ∧ R ) ∨ ( T ∧ ~R ) 

 

 
0 głosów
odpowiedź 14 lipca 2021 przez Eryk Andrzejewski Mędrzec (164,260 p.)

Moim zdaniem jest, ponieważ operator koniunkcji jest operatorem łącznym (o czym mówi prawo łączności koniunkcji). Ale nawet gdybyś mi z jakiegoś powodu nie wierzył, to możesz sobie zrobić tablicę prawdy. Jeżeli dla każdej kombinacji wejściowej (P, Q, R) wartość logiczna tego zdania złożonego będzie taka sama, oznacza to, że oba zdania są równoważne. smiley

komentarz 14 lipca 2021 przez Wiciorny Ekspert (269,120 p.)
Jeśli faktycznie zaprzeczenie znajduje się w nawiasie, a nie przed -> nie wpływa na modyfikacje operatora koniunkcji/alternatywy i jest faktycznie przemienne.
0 głosów
odpowiedź 14 lipca 2021 przez Wiciorny Ekspert (269,120 p.)

Jeśli chodzi o OPTYMALIZACJE, to szybszym procesem jest ten bez nawiasu, bo "kompilacja np, czy sprawdzanie warunków lewo -> prawo" c zakończy się na ewaluacji ~Q / ~R jeśli faktycznie będzie fałszem dalsza koniunkcja nie bedzie sprawdzana, a tak to cały nawias  JEŚLI P JEST PRAWDZIWE  (~Q∧~R) -> ten cały nawias musi sie wauować żeby koniunkcja (P∧(~Q∧~R)) zaszła i była sprawdzona, inaczej ma się miejsce kiedy nawiasu nie ma, wtedy zakończy się przy pierwszej "nieprawdziwej" przy założeniu P-> true -> 1

Podobne pytania

0 głosów
1 odpowiedź 5,733 wizyt
pytanie zadane 20 stycznia 2018 w Matematyka, fizyka, logika przez eternal Użytkownik (620 p.)
0 głosów
1 odpowiedź 198 wizyt
pytanie zadane 7 grudnia 2020 w Matematyka, fizyka, logika przez Beginner555 Obywatel (1,760 p.)
0 głosów
1 odpowiedź 317 wizyt
pytanie zadane 9 kwietnia 2019 w Matematyka, fizyka, logika przez Kacperek_code Obywatel (1,690 p.)

92,453 zapytań

141,262 odpowiedzi

319,088 komentarzy

61,854 pasjonatów

Motyw:

Akcja Pajacyk

Pajacyk od wielu lat dożywia dzieci. Pomóż klikając w zielony brzuszek na stronie. Dziękujemy! ♡

Oto polecana książka warta uwagi.
Pełną listę książek znajdziesz tutaj.

Akademia Sekuraka

Akademia Sekuraka 2024 zapewnia dostęp do minimum 15 szkoleń online z bezpieczeństwa IT oraz dostęp także do materiałów z edycji Sekurak Academy z roku 2023!

Przy zakupie możecie skorzystać z kodu: pasja-akademia - użyjcie go w koszyku, a uzyskacie rabat -30% na bilety w wersji "Standard"! Więcej informacji na temat akademii 2024 znajdziecie tutaj. Dziękujemy ekipie Sekuraka za taką fajną zniżkę dla wszystkich Pasjonatów!

Akademia Sekuraka

Niedawno wystartował dodruk tej świetnej, rozchwytywanej książki (około 940 stron). Mamy dla Was kod: pasja (wpiszcie go w koszyku), dzięki któremu otrzymujemy 10% zniżki - dziękujemy zaprzyjaźnionej ekipie Sekuraka za taki bonus dla Pasjonatów! Książka to pierwszy tom z serii o ITsec, który łagodnie wprowadzi w świat bezpieczeństwa IT każdą osobę - warto, polecamy!

...