# -*- encoding: utf-8 -*-

# Izpis formul v obliki CNF

class Cnf():
    def __init__(self, lst):
        self.stavki = lst

    def __repr__(self):
        return "AND" + str(self.stavki)

class Stavek():
    def __init__(self, lst):
        self.literali = lst

    def __repr__(self):
        return "OR" + str(self.literali)

class Lit():
    """Atom."""

    def __init__(self, x):
        self.ime = x

    def __repr__(self):
        return str(self.ime)

class Til():
    """Negiran atom."""

    def __init__(self, x):
        self.ime = x

    def __repr__(self):
        return "~"+str(self.ime)


