Iti0210ex7: muudatuste ajalugu

12. märts 2021

• viimeel 10:2012. märts 2021, kell 10:20 PriitJ arutelu kaastöö 3103 baiti +10 →Loogika ja järeldamine

11. märts 2021

• viimeel 17:3411. märts 2021, kell 17:34 PriitJ arutelu kaastöö 3093 baiti −97 →Loogika ja järeldamine
• viimeel 17:3211. märts 2021, kell 17:32 PriitJ arutelu kaastöö 3190 baiti +103 →Tõestus

15. märts 2020

• viimeel 19:0915. märts 2020, kell 19:09 PriitJ arutelu kaastöö 3087 baiti −11 →Tõestus
• viimeel 19:0015. märts 2020, kell 19:00 PriitJ arutelu kaastöö 3098 baiti +1498 Resümee puudub
• viimeel 18:4015. märts 2020, kell 18:40 PriitJ arutelu kaastöö 1600 baiti −169 →Soojendus
• viimeel 18:3715. märts 2020, kell 18:37 PriitJ arutelu kaastöö 1769 baiti +153 →Tõestus
• viimeel 18:2915. märts 2020, kell 18:29 PriitJ arutelu kaastöö 1616 baiti +603 →Soojendus
• viimeel 18:2115. märts 2020, kell 18:21 PriitJ arutelu kaastöö 1013 baiti +169 →Tõestus

9. märts 2020

• viimeel 20:439. märts 2020, kell 20:43 PriitJ arutelu kaastöö 844 baiti +22 Resümee puudub

7. märts 2020

• viimeel 22:297. märts 2020, kell 22:29 PriitJ arutelu kaastöö 822 baiti +822 Uus lehekülg: '= Loogika ja järeldamine = Kasuta solverit http://logictools.org Hoiatus: vali lahendusmeetodiks ''resolution'' või ''truth table'', ''dpll'' võib olla bugine == Soojendus...'