C++, logika i tautolgia

Question

Jak sprawdzić w programie w C++ czy jakieś bardziej skomplikowane zdanie logiczne jest tautologią? Nie chcę gotowca, tylko wyjaśnienie pokrótce jak się za to zabrać jak mam sprawdzić tylko pojedynczą koniunkcję, alternatywę, implikację albo równoważność to umiem za pomocą if. A jak napisać program który mówi czy to jest tautologią [(¬∨)∨¬(∧)]→[¬(→)] ?

Comments

  [(¬∨)∨¬(∧)] <- obliczone; To taka zabawa pewnie profesjonale zupełnie się to inaczej robi.

Metoda  stąd;

Edit:: i to i to może coś by wyszło. Ale lepiej poszukać prawidłowego rozwiązania w Google/

 

---

I o to chodzi. Budujesz wyrażenie i sprawdzasz dla wszystkich kombinacji zdań (true/false).

---

[(¬∨)∨¬(∧)]→[¬(→)]  mi wygląda ze nie jest tautologią [false on-line]

 

Answer 1

Napisać funkcje, które podają wartości logiczne poszczególnych pojedynczych działań: koniunkcji, alternatywy, negacji, implikacji, równoważności. Z nich złożyć walidację bardziej złożonych wyrażeń.