Program sprawdzający, czy w wyrażeniu zachodzi tautologia

0

Cześć, jestem początkującym programistą. Z obiektowości poznałem Regex, Vector, Class, Inheritance.

Czy jestem w stanie napisać prosty program, który po wprowadzeniu danych pokazuje, czy zachodzi w wyrażeniu tautologia? Jak zabrać się za pisanie czegoś takiego? Zainteresowało mnie to, bo wczoraj na zajęciach weszliśmy w ten temat, więc napisanie takiego programu może być całkiem ciekawe i przy okazji pomocne w nauce.

0

Elementy z matematyki w programowaniu

Koniunkcja - AND czasem jako & binarnie i && logicznie
Alternatywa - OR czasem jako | biarnie || logicznie
Negacja - NOT czasem jako ~ binarnie ! logicznie

Z tych trzech zrobisz wszystko inne i możesz ułożyć tautologię logiczną.

0

Jesteś w stanie, wierzę w Ciebie :D

0

Eh, generujesz zakres wszystkich możliwych inputów i jak jest zawsze prawda, to wypisujesz, że to tautologia, a jak raz wystąpi false to przestajesz sprawdzać, lub sobie implementujesz tautologiczne podstawowe schematy i sprawdzasz, czy nie zawiera w sobie

0

Robi się to, w sumie prosto, parsuje się wyrażenie w drzewo binarne i ewaluuje rekurencyjnie.

0

Jednak odpuszcze sobie, jeszcze za wcześnie.

1 użytkowników online, w tym zalogowanych: 0, gości: 1