Home assignment 1 : Margus Martsepp 121843IAPM
Propositional logic and
simple predicate
assignments
Advanced Course of Applied Logics ( ITV0081 )
Task 1: Code
Task 1: Results
Task 2: Code
Task 2: Result
Task 3: Code
Task 3: Result
Task 3: Proof - distribution of intersection over union.
Task 3: Extra proof - distribution of union over intersection.
Task 4: Code
Task 4: Result
Task 5: Code