UW

public class Formuła {
    //boolean state;
    Wartościowanie wart = new Wartościowanie();

    public Formuła()
    {

    }

    public Formuła(Wartościowanie wart)
    {
        this.wart = wart;

    }

    public Formuła And(Formuła f, Formuła g) // czy potrzebne?
    {
        if(f.wart.trzymajka[0] == true && g.wart.trzymajka[0] == true)
            f.wart.trzymajka[0] = true;
        else
            f.wart.trzymajka[0] = false;

        return f;
    }

    public Formuła Or(Formuła f, Formuła g) // czy potrzebne?
    {
        if(f.wart.trzymajka[0] == true || g.wart.trzymajka[0] == true)
            f.wart.trzymajka[0] = true;
        else
            f.wart.trzymajka[0] = false;


        return f;
    }

    public Formuła Not(Formuła f) // czy potrzebne?
    {
        if(f.wart.trzymajka[0] == true)
            f.wart.trzymajka[0] = false;
        else
            f.wart.trzymajka[0] = true;

        return f;
    }


    public String wartość(Wartościowanie wart1) throws ZłaNazwaWDaj, BrakWartości // to potrzebuje drukowac wlasna wersje
    {
       // if(wart1.zmienna != 'p' || wart1.zmienna != 'q') // logika zle


        if(wart1.zmienna[0] == 'p' || wart1.zmienna[0] == 'q')
        {

        }
        else
            throw new ZłaNazwaWDaj(wart1.zmienna[0]);

        //if(wart1.trzymajka != true || wart1.trzymajka != false)
           // throw new BrakWartości();

        if(wart1.trzymajka[0] == true || wart1.trzymajka[0] == false)
        {

        }
        else
            throw new BrakWartości();

        String s = Boolean.toString(wart1.trzymajka[0]);

        return s;
    }

    // poprawne wyświetlanie, czystego obiektu

    @Override
        public String toString()
    {
        String s = Boolean.toString(wart.trzymajka[0]);
        return s;
    }
}