using Nocturnis.Enigmos.Modules.ComputationalModules;
using Nocturnis.GlobalManagement.Constants;

namespace Enigmos.Modules.ComputationalModules.Binary;

public abstract partial class LogicalImplicationModule : BinaryLogicModule
{
	public override void Define()
	{
		this.Define(
			x => (!this.X(x).Bit | this.Y(x).Bit, DataTypeConstant.BaseDataTypes.Bit)
		);
	}
}