Jeśli spełniony jest warunek A, warunek B musi zostać dopasowany, aby wykonać działanie C.

Moje pytanie brzmi:

if (/* condition A */)
{
    if(/* condition B */)
      {
         /* do action C */
      }
    else
      /* ... */
}
else
{
   /* do action C */
}

Czy można po prostu napisać kod akcji C raz zamiast dwa razy?

Jak to uprościć?

Pierwszym krokiem w tego rodzaju problemach jest zawsze utworzenie tablicy logicznej.

A | B | Result
-------------------
T | T | do action C
T | F | ...
F | T | do action C
F | F | do action C

Po przygotowaniu stołu rozwiązanie jest jasne.

if (A && !B) {
  ...
}
else {
  do action C
}

Zwróć uwagę, że ta logika, choć krótsza, może być trudna do utrzymania dla przyszłych programistów.

Masz dwie możliwości:

1. Napisz funkcję, która wykonuje „akcję C”.

2. Zmień układ logiki tak, aby nie było tylu zagnieżdżonych instrukcji if. Zadaj sobie pytanie, jakie warunki powodują wystąpienie „działania C”. Wydaje mi się, że dzieje się tak, gdy „warunek B” jest prawdziwy lub „warunek A” jest fałszywy. Możemy to zapisać jako „NIE A LUB B”. Tłumacząc to na kod C, otrzymujemy

   if (!A || B) {
       action C
   } else {
       ...
   }
   

Aby dowiedzieć się więcej o tego rodzaju wyrażeniach, sugeruję wpisanie w wyszukiwarkę „algebry boolowskiej”, „logiki predykatów” i „rachunku predykatów”. To są głębokie zagadnienia matematyczne. Nie musisz uczyć się wszystkiego, tylko podstaw.

Warto również zapoznać się z „oceną zwarcia”. Z tego powodu kolejność wyrażeń jest ważna, aby dokładnie powielić oryginalną logikę. Chociaż B || !Ajest logicznie równoważne, użycie tego jako warunku spowoduje wykonanie „akcji C”, gdy Bjest prawdziwe, niezależnie od wartości A.

Możesz uprościć to stwierdzenie w następujący sposób:

if ((A && B) || (!A)) // or simplified to (!A || B) as suggested in comments
{
    do C
}

W przeciwnym razie umieść kod „C” w osobnej funkcji i wywołaj ją:

DoActionC()
{
    ....
    // code for Action C
}
if (condition A)
{
    if(condition B)
      {
         DoActionC(); // call the function
      }
    else
      ...
}
else
{
   DoActionC(); // call the function
}

W języku z dopasowywaniem wzorców możesz wyrazić rozwiązanie w sposób, który bardziej bezpośrednio odzwierciedla tabelę prawdy w odpowiedzi na pytanie.

match (a,b) with
| (true,false) -> ...
| _ -> action c

Jeśli nie znasz składni, każdy wzorzec jest reprezentowany przez | po którym następują wartości do dopasowania z (a, b), a podkreślenie jest używane jako symbol wieloznaczny oznaczający „wszelkie inne wartości”. Ponieważ jedynym przypadkiem, w którym chcemy zrobić coś innego niż akcja c, jest sytuacja, w której a jest prawdą, a b jest fałszem, jawnie określamy te wartości jako pierwszy wzorzec (prawda, fałsz), a następnie robimy wszystko, co należy zrobić w takim przypadku. We wszystkich innych przypadkach przechodzimy do wzorca „wieloznacznego” i wykonujemy czynność c.

Opis problemu:

Jeśli spełniony jest warunek A, warunek B musi zostać dopasowany, aby wykonać działanie C.

opisuje implikację : A implikuje B , logiczną propozycję równoważną !A || B(jak wspomniano w innych odpowiedziach):

bool implies(bool p, bool q) { return !p || q; }

if (implies(/* condition A */,
            /* condition B */))
{
    /* do action C */
}

Ugh, to też mnie zaskoczyło , ale jak wskazał Code-Apprentice, mamy gwarancję, że będziemy potrzebować do action Club uruchomić zagnieżdżony elseblok, więc kod można uprościć do:

if (not condition A or condition B) {
    do action C
} else {
    ...
}

Oto jak zajmujemy się trzema przypadkami:

1. Zagnieżdżonego do action Cw logice swojej pytanie jest wymagana condition Ai condition Bbędzie true- w tym logiki, jeśli osiągniemy 2 ^nd termin w if-statement czym wiemy, że condition Ajest truew ten sposób wszystko, czego potrzebujemy, aby ocenić to, żecondition B jesttrue
2. Zagnieżdżony else-blok w logice twojego pytania, który musiał condition Abyć truei condition Bbyć false- Jedynym sposobem, w jaki możemy dotrzeć do else-bloku w tej logice, byłoby gdyby condition Abyły truei condition Bbyłyfalse
3. Zewnętrzny elseblok w logice twojego pytania musi condition Abyć false- W tej logice, jeśli condition Ajest fałszywa, my równieżdo action C

Podziękowania dla Code-Apprentice za wyprostowanie mnie tutaj. Proponuję przyjąć jego odpowiedź , ponieważ przedstawił ją poprawnie bez edycji: /

W koncepcji logiki możesz rozwiązać ten problem w następujący sposób:

f = ab +! a
f =?

Jako udowodniony problem powoduje to f = !a + b. Istnieje kilka sposobów udowodnienia problemu, takich jak tabela prawdy, mapa Karnaugha i tak dalej.

Tak więc w językach opartych na C możesz używać w następujący sposób:

if(!a || b)
{
   // Do action C
}

PS: Mapa Karnaugh jest również używana w przypadku bardziej skomplikowanych serii warunków. Jest to metoda upraszczania wyrażeń algebry Boole'a.

Chociaż są już dobre odpowiedzi, pomyślałem, że to podejście może być jeszcze bardziej intuicyjne dla kogoś, kto jest nowy w algebrze Boole'a, niż ocena tabeli prawdy.

Pierwszą rzeczą, którą chcesz zrobić, jest sprawdzenie, w jakich warunkach chcesz wykonać C. Tak jest w przypadku, gdy (a & b). Również kiedy !a. Więc masz(a & b) | !a .

Jeśli chcesz zminimalizować, możesz kontynuować. Tak jak w „normalnej” arytmetyce, możesz pomnożyć.

(a & b) | !a = (a | !a) & (b | !a). a | ! a jest zawsze prawdziwe, więc możesz je po prostu przekreślić, co pozostawi zminimalizowany wynik:b | !a . W przypadku, gdy kolejność ma znaczenie, ponieważ chcesz sprawdzić b tylko wtedy, gdy! A jest prawdziwe (na przykład, gdy! A jest sprawdzeniem zerowym, a b jest operacją na wskaźniku, jak @LordFarquaad wskazany w swoim komentarzu), możesz chcę zamienić te dwa.

Drugi przypadek (/ * ... * /) będzie zawsze wykonywany, gdy c nie zostanie wykonane, więc możemy po prostu umieścić go w innym przypadku.

Warto również wspomnieć, że prawdopodobnie ma sens umieszczenie akcji c w metodzie.

Co pozostawia nam następujący kod:

if (!A || B)
{
    doActionC()  // execute method which does action C
}
else
{
   /* ... */ // what ever happens here, you might want to put it into a method, too.
}

W ten sposób możesz również zminimalizować terminy z większą liczbą operandów, co szybko staje się brzydkie w przypadku tablic prawdy. Innym dobrym podejściem są mapy Karnaugh. Ale nie będę teraz zagłębiał się w to.

Aby kod wyglądał bardziej jak tekst, użyj flag logicznych. Jeśli logika jest szczególnie niejasna, dodaj komentarze.

bool do_action_C;

// Determine whether we need to do action C or just do the "..." action
// If condition A is matched, condition B needs to be matched in order to do action C
if (/* condition A */)
{
    if(/* condition B */)
      do_action_C = true; // have to do action C because blah
    else
      do_action_C = false; // no need to do action C because blarg
}
else
{
  do_action_C = true; // A is false, so obviously have to do action C
}

if (do_action_C)
  {
     DoActionC(); // call the function
  }
else
  {
  ...
  }

if((A && B ) || !A)
{
  //do C
}
else if(!B)
{
  //...
}

Wyodrębniłbym C do metody, a następnie zamknąłbym tę funkcję tak szybko, jak to możliwe we wszystkich przypadkach. elseklauzule z jedną rzeczą na końcu powinny być prawie zawsze w miarę możliwości odwrócone. Oto przykład krok po kroku:

Wyciąg C:

if (A) {
   if (B)
      C();
   else
      D();
} else
   C();

Odwróć najpierw, ifaby pozbyć się pierwszego else:

if (!A) {
   C();
   return;
}

if (B)
   C();
else
   D();

Pozbądź się drugiego else:

if (!A) {
   C();
   return;
}

if (B) {
   C();
   return;
} 

D();

A potem możesz zauważyć, że te dwie sprawy mają to samo ciało i można je łączyć:

if (!A || B) {
   C();
   return;
}

D();

Opcjonalne rzeczy do poprawy to:

• zależy od kontekstu, ale jeśli !A || Bjest mylący, wyodrębnij go do jednej lub kilku zmiennych, aby wyjaśnić cel

• w zależności od C()czy D()to nie przypadek wyjątkowy powinien przejść ostatni, więc jeśli D()jest wyjątek, a następnie odwrócić ifraz ostatni

Używanie flag może również rozwiązać ten problem

int flag = 1; 
if ( condition A ) {
    flag = 2;
    if( condition B ) {
        flag = 3;
    }
}
if(flag != 2) { 
    do action C 
}