Jump to content

First Order Logic

- - - - -
Started by goda, Nov 01 2009 09:07 PM

This topic has been archived. This means that you cannot reply to this topic.
2 replies to this topic

#1
goda
Posted 01 November 2009 - 09:07 PM

goda

    Newbie

  • Members
  • Pip
  • 2 posts
(Tet(a) → Larger(a, b)) ↔ (LeftOf(b, c) ∨ ¬FrontOf(b, c))

What is this using only ∨ ∧ ¬? Anyone, please?

#2
WingedPanther
Posted 02 November 2009 - 09:32 AM

WingedPanther

    A spammer's worst nightmare

  • Moderators
  • 16,831 posts
∨ = or, ∧ = and, ¬ = not
Programming is a branch of mathematics.
My CodeCall Blog | My Personal Blog

#3
goda
Posted 02 November 2009 - 09:42 AM

goda

    Newbie

  • Members
  • Pip
  • 2 posts
Yes. Figured it out though thanks!
Back to General Programming




  1. CODECALL Programming Forum
  2. → General Discussion
  3. → General Programming
IPB skins by Skinbox