Skip to content

Instantly share code, notes, and snippets.

@kendfrey

kendfrey/LOGIC.cs

Created June 28, 2016 14:29
Show Gist options
  • Star 0 You must be signed in to star a gist
  • Fork 0 You must be signed in to fork a gist
  • Save kendfrey/59638865537f3a7ea4e82121a0ec5202 to your computer and use it in GitHub Desktop.
Save kendfrey/59638865537f3a7ea4e82121a0ec5202 to your computer and use it in GitHub Desktop.
Download ZIP
System.LOGIC
Raw
LOGIC.cs
using System;
namespace System
{
internal static class LOGIC
{
internal static bool IMPLIES(bool p, bool q)
{
return !p || q;
}
internal static bool BIJECTION(bool p, bool q)
{
return LOGIC.IMPLIES(p, q) && LOGIC.IMPLIES(q, p);
}
}
}
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment