#include <iostream>
#include <iomanip>
#include <vector>

using namespace std;

int main()
{
    Literal a{false};
    Literal b{true};
    Literal c{false};
    Disjunction disjunction{a, b};
    Negation negation{c};
    Conjunction conjunction{disjunction, negation};
    std::cout << std::boolalpha << conjunction.eval() << std::endl;
}