public override Connective GetNandProposition()
{
ConnectiveNand mainNand = new ConnectiveNand();
ConnectiveNot not = new ConnectiveNot();
mainNand.setLeftConnective(con1.GetNandProposition());
not.setLeftConnective(con2.Copy());
mainNand.setRightConnective(not.GetNandProposition());
return(mainNand);
}
public override Connective GetNandProposition()
{
ConnectiveNand mainNand = new ConnectiveNand();
ConnectiveNand nand1 = new ConnectiveNand();
ConnectiveNand nand2 = new ConnectiveNand();
ConnectiveNot not1 = new ConnectiveNot();
ConnectiveNot not2 = new ConnectiveNot();
not1.setLeftConnective(con1.Copy());
not2.setLeftConnective(con2.Copy());
nand2.setLeftConnective(not1.GetNandProposition());
nand2.setRightConnective(not2.GetNandProposition());
nand1.setLeftConnective(con1.GetNandProposition());
nand1.setRightConnective(con2.GetNandProposition());
mainNand.setLeftConnective(nand1);
mainNand.setRightConnective(nand2);
return(mainNand);
}