\(\left(\neg T_1\wedge\neg T_2\wedge I_2\right)\\\vee\left(\neg T_1\wedge T_2\wedge\neg I_1\wedge I_2\right)\vee\left(\neg T_1\wedge T_2\wedge I_1\wedge\neg I_2\right)\vee\left(T_1\wedge\neg T_2\wedge\neg I_2\right)\vee\left(T_1\wedge T_2\wedge\neg I_1\wedge\neg I_2\right)\vee\left(T_1\wedge T_2\wedge I_1\wedge I_2\right)\)
Nu wil ik natuurlijk die functie drastisch vereenvoudigen, omdat een computers anders veel werk aan zo'n functie heeft, terwijl die met een eenvoudiger vorm uiteraard sneller berekent wordt. Ik probeer dus een functie te zoeken die het equivalent is met deze functie, maar met (veel) minder operatoren.Zelf heb ik ze denk ik al wat vereenvoudigt, maar ik ben niet heel zeker of dat nu op de goede manier gebeurt is.
hier mijn vereenvoudiging:
\(=\left(\neg T_2 \wedge\neg\left(T_1\Leftrightarrow I_2\right)\right)\vee\left(\neg I_1\wedge\left(\left(\neg T_1\wedge T_2\wedge I_2\right)\vee\left(T_1\wedge T_2\wedge\neg I_2\right)\right)\right)\vee\left(I_1\wedge\left(\left(\neg T_1\wedge T_2\wedge\neg I_2\right)\vee\left(T_1\wedge T_2 \wedge I_2\right)\right)\right)\)
en verder:\(=\left(\neg T_2 \wedge\neg\left(T_1\Leftrightarrow I_2\right)\right)\vee\left(\neg I_1\wedge T_2 \wedge \neg\left(T_1\Leftrightarrow I_2\right)\right)\vee\left(I_1\wedge T_2\wedge\left(T_1\Leftrightarrow I_2\right)\right)\)
vervolgens:\(=\left(\neg T_2 \wedge\neg\left(T_1\Leftrightarrow I_2\right)\right)\vee\left(T_2\wedge\left(I_1\Leftrightarrow\left(T_1\Leftrightarrow I_2\right)\right)\right)\)
Weet iemand of die vereenvoudiging nog klopt en zo ja, of je nog een stapje verder kan gaan. Volgens mij wel, daar je in de 2 leden hetzelfde schrijft, maar hoe vereenvoudig je dat, als er links geen \(I_1\)
staat en rechts wel.
