diff --git a/functions.md b/TP1/README.md
similarity index 100%
rename from functions.md
rename to TP1/README.md
diff --git a/TP1/example.py b/TP1/example.py
new file mode 100644
index 0000000..63db8e5
--- /dev/null
+++ b/TP1/example.py
@@ -0,0 +1,16 @@
+import sys
+sys.path.append('..')
+
+from logics import *
+
+a = [0, 0, 0, 0, 1, 1, 1, 1]
+b = [0, 0, 1, 1, 0, 0, 1, 1]
+c = [0, 1, 0, 1, 0, 1, 0, 1]
+
+for A, B, C in zip(a, b, c):
+    print(f"AND(NOT({C}),OR(NOT((AND({A},{B}))),AND({A},{C}))) = {AND(NOT(C),OR(NOT(AND(A,B)),AND(A,C)))}")
+
+print()
+print("Simplified using NAND:")
+for A, B, C in zip(a, b, c):
+    print(f"AND(NOT({C}),OR(NAND({A},{B}),AND({A},{C}))) = {AND(NOT(C),OR(NAND(A,B),AND(A,C)))}")
diff --git a/__init__.py b/__init__.py
new file mode 100644
index 0000000..e69de29
diff --git a/logics.py b/logics.py
new file mode 100644
index 0000000..fd74acd
--- /dev/null
+++ b/logics.py
@@ -0,0 +1,124 @@
+"""
+LOGIC GATES
+===========
+A collection of logic gates and combinational circuits.
+"""
+
+def AND(*args):
+    """
+    AND gate
+    ========
+    ### Example
+    >>> AND(0, 0) == 0
+    >>> AND(0, 1) == 0
+    >>> AND(1, 0) == 0
+    >>> AND(1, 1) == 1
+    """
+    if all(args):
+        return 1
+    return 0
+
+def OR(*args):
+    """
+    OR gate
+    =======
+    ### Example
+    >>> OR(0, 0) == 0
+    >>> OR(0, 1) == 1
+    >>> OR(1, 0) == 1
+    >>> OR(1, 1) == 1
+    """
+    if any(args):
+        return 1
+    return 0
+
+def NOT(arg):
+    """
+    NOT gate
+    ========
+    ### Example
+    >>> NOT(0) == 1
+    >>> NOT(1) == 0
+    """
+    if arg:
+        return 0
+    return 1
+
+def NAND(*args):
+    """
+    NAND gate
+    =========
+    ### Example
+    >>> NAND(0, 0) == 1
+    >>> NAND(0, 1) == 1
+    >>> NAND(1, 0) == 1
+    >>> NAND(1, 1) == 0
+    """
+    return NOT(AND(*args))
+
+def NOR(*args):
+    """
+    NOR gate
+    ========
+    ### Example
+    >>> NOR(0, 0) == 1
+    >>> NOR(0, 1) == 0
+    >>> NOR(1, 0) == 0
+    >>> NOR(1, 1) == 0
+    """
+    return NOT(OR(*args))
+
+def XOR(*args):
+    """
+    XOR gate
+    ========
+    ### Example
+    >>> XOR(0, 0) == 0
+    >>> XOR(0, 1) == 1
+    >>> XOR(1, 0) == 1
+    >>> XOR(1, 1) == 0
+    """
+    if sum(args) == 1:
+        return 1
+    return 0
+
+def MUX(a, b, sel):
+    """
+    Multiplexer
+    ===========
+    ### Example
+    >>> MUX(0, 0, 0) == 0
+    >>> MUX(0, 0, 1) == 0
+    >>> MUX(0, 1, 0) == 0
+    >>> MUX(0, 1, 1) == 1
+    >>> MUX(1, 0, 0) == 1
+    >>> MUX(1, 0, 1) == 0
+    >>> MUX(1, 1, 0) == 1
+    >>> MUX(1, 1, 1) == 1
+    """
+    return OR(AND(a, NOT(sel)), AND(b, sel))
+
+def DMUX(a, sel):
+    """
+    Demultiplexer
+    =============
+    ### Example
+    >>> DMUX(0, 0) == (0, 0)
+    >>> DMUX(0, 1) == (0, 0)
+    >>> DMUX(1, 0) == (1, 0)
+    >>> DMUX(1, 1) == (0, 1)
+    """
+    return AND(a, NOT(sel)), AND(a, sel)
+
+if __name__ == "__main__":
+    a = [0, 0, 1, 1]
+    b = [0, 1, 0, 1]
+
+    print("With XOR:")
+    for A, B in zip(a, b):
+        print(f"mux({A},{B},1) = {MUX(A,B,1)}")
+        print(f"mux({A},{B},0) = {MUX(A,B,0)}")
+
+    print("With NOT and NAND:")
+    for A, B in zip(a, b):
+        print(f"NOT(NAND({A}, {B})) = {OR(AND(NOT(A), B), AND(NOT(B), A))}")
diff --git a/main.py b/main.py
deleted file mode 100644
index 4cea39f..0000000
--- a/main.py
+++ /dev/null
@@ -1,80 +0,0 @@
-"""
-LOGIC GATES
-"""
-
-def AND(*args):
-    """
-    AND gate
-    """
-    if all(args):
-        return 1
-    return 0
-
-def OR(*args):
-    """
-    OR gate
-    """
-    if any(args):
-        return 1
-    return 0
-
-def NOT(arg):
-    """
-    NOT gate
-    """
-    if arg:
-        return 0
-    return 1
-
-def NAND(*args):
-    """
-    NAND gate
-    """
-    return NOT(AND(*args))
-
-def NOR(*args):
-    """
-    NOR gate
-    """
-    return NOT(OR(*args))
-
-def XOR(*args):
-    """
-    XOR gate
-    """
-    if sum(args) == 1:
-        return 1
-    return 0
-
-def mux(a, b, sel):
-    """
-    Multiplexer
-    """
-    return OR(AND(a, NOT(sel)), AND(b, sel))
-
-
-if __name__ == "__main__":
-    """
-    a = [0, 0, 0, 0, 1, 1, 1, 1]
-    b = [0, 0, 1, 1, 0, 0, 1, 1]
-    c = [0, 1, 0, 1, 0, 1, 0, 1]
-
-    for A, B, C in zip(a, b, c):
-        print(f"AND(NOT({C}),OR(NOT((AND({A},{B}))),AND({A},{C}))) = {AND(NOT(C),OR(NOT(AND(A,B)),AND(A,C)))}")
-
-    print()
-    print("Simplified using NAND, NOR, XOR, NOT, AND et OR :")
-    for A, B, C in zip(a, b, c):
-        print(f"AND(NOT({C}),OR(NAND({A},{B}),AND({A},{C}))) = {AND(NOT(C),OR(NAND(A,B),AND(A,C)))}")
-    """
-    a = [0, 0, 1, 1]
-    b = [0, 1, 0, 1]
-
-    print("With XOR:")
-    for A, B in zip(a, b):
-        print(f"mux({A},{B},1) = {mux(A,B,1)}")
-        print(f"mux({A},{B},0) = {mux(A,B,0)}")
-
-    print("With NOT and NAND:")
-    for A, B in zip(a, b):
-        print(f"NOT(NAND({A}, {B})) = {OR(AND(NOT(A), B), AND(NOT(B), A))}")