Usefull links:
-
lambda calculus https://www.youtube.com/watch?app=desktop&v=ViPNHMSUcog
-
Pdf course about boolean algebra: https://www.csie.ntu.edu.tw/~lyuu/complexity/2006/20061011.pdf
!!!!!!!!!!!!!!!!!!!! WRONG !!!!!!!!!!!!!!!!!!!!!!
-
Ex 06: https://en.wikipedia.org/wiki/Tseytin_transformation What is wrong:
- The evaluation sheet doesn't allow Tseytin transformation, it wants you to keep the same truth table
- My code implementation is wrong anyway so don't trust it, but too lazy to fix !!!!!!!!!!!!!!!!!!!! WRONG !!!!!!!!!!!!!!!!!!!!!!
-
Ex 10: https://en.wikipedia.org/wiki/Moser%E2%80%93de_Bruijn_sequence