Dobry wieczór!
Chcę sobie napisać program, który będzie mi sprawdzał, czy dwa równania boolowskie są równoważne, na zasadzie:
Zakładam, że ilość zmiennych nie przekracza 10
Wprowadzam jedno równanie np.: F=(/ab+a)(/b+/bc) --- /a znaczy "nie a"
Wprowadzam drugie równanie G=a*/b
Program wprowadza wszystkie możliwe kombinacje 0 i 1 pod zmienne do obydwu funkcji i porównuje wyniki i informuje mnie, czy są równoważne, czy nie (w powyższym przypadku są)
I chcę to zrobić to najprościej jak się da - stąd pytanie do Was, czy da się zrobić tak, że wprowadzam jakiś ciąg znaków do np. tablicy wzor1, a potem w takiej formie w jakiej go wpisałem wrzucić do kodu jako
y=jakasfunkcja(wzor1)
?
Jest na to jakiś prosty sposób? Oczywiście na początku chcę zrobić coś bardziej prostego, bez zaprzeczeń itd. czy np. a+b == b+a etc.
Pozdrawiam!